diff options
Diffstat (limited to 'src/run.bash')
-rwxr-xr-x | src/run.bash | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/run.bash b/src/run.bash index d818751b2..fd3b1f27b 100755 --- a/src/run.bash +++ b/src/run.bash @@ -72,7 +72,6 @@ $BROKEN || ./test.bash ) || exit $? -$BROKEN || (xcd ../doc/progs time ./run ) || exit $? |