mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-06-21 03:00:19 +02:00
40aafa5279
* libguile/lightning/: New directory, made by the following commands: git remote add lightning https://git.savannah.gnu.org/git/lightning.git git merge -s ours --no-commit --allow-unrelated-histories lightning/master git read-tree --prefix=libguile/lightning/ -u lightning/master In theory we will be able to update via: git merge -s subtree lightning/master
10 lines
180 B
Bash
Executable file
10 lines
180 B
Bash
Executable file
#! /bin/sh
|
|
|
|
ok=`echo $1 | sed -e 's@\.\(x87\|arm\|swf\)@@'`
|
|
$1 | tr -d \\r > $1.log
|
|
if cmp -s $srcdir/$ok.ok $1.log; then
|
|
rm $1.log
|
|
else
|
|
diff $srcdir/$ok.ok $1.log
|
|
exit 1
|
|
fi
|