mirror of
https://github.com/ashinn/chibi-scheme.git
synced 2025-05-21 06:39:17 +02:00
Removing bash-ism.
This commit is contained in:
parent
05d87f0612
commit
55aeef42e7
1 changed files with 1 additions and 1 deletions
|
@ -15,7 +15,7 @@ MAKE=${MAKE:-make}
|
|||
i=0
|
||||
|
||||
for opts in $(cat ${BUILDDIR}/build-opts.txt); do
|
||||
opts=${opts//;/ }
|
||||
opts=$(echo ${opts} | tr ';' ' ')
|
||||
$MAKE cleaner 2>&1 >/dev/null
|
||||
if $MAKE $opts chibi-scheme 2>&1 >${BUILDDIR}/build${i}-make.out; then
|
||||
if $MAKE test 2>&1 | tee ${BUILDDIR}/build${i}-test.out | grep -q -E 'FAIL|ERROR'; then
|
||||
|
|
Loading…
Add table
Reference in a new issue