git.iko.soy/Idris-dev
on master help sign in
Move `timeout` from `test/bin/` to `test/scripts/`
commit276ba0aa45667b24633a0ae9b09d5dc441b964a4 authorSteven Shaw <steven@steshaw.org> dateSun 7 Aug 2016, 21:01 (10 years ago) parent15bed57
3 files changed+2−2
compare with master
unifiedsplit
test/basic010/run+1−1 test/reg039/run+1−1 test/bin/timeout → test/scripts/timeout
test/basic010/run+1−1
@@ -2,7 +2,7 @@
22
33set -eu
44
5−TIMEOUT=../bin/timeout
5+TIMEOUT=../scripts/timeout
66
77$TIMEOUT 10 "${IDRIS:-idris}" "$@" Main.idr --nocolour --check --warnreach -o basic010
88$TIMEOUT 5 ./basic010
test/reg039/run+1−1
@@ -2,6 +2,6 @@
22
33set -eu
44
5−TIMEOUT=../bin/timeout
5+TIMEOUT=../scripts/timeout
66
77$TIMEOUT 60 "${IDRIS:-idris}" "$@" --nocolour reg039.idr --exec go
test/bin/timeout → test/scripts/timeoutrenamed

The content is the same.