diff options
Diffstat (limited to 'src/run.bash')
-rwxr-xr-x | src/run.bash | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/run.bash b/src/run.bash index 619ba9b7d..d88ea7852 100755 --- a/src/run.bash +++ b/src/run.bash @@ -59,11 +59,6 @@ time make ./chanrun ) || exit $? -(xcd ../usr/dsymonds/iterable -make clean -time make test -) || exit $? - (xcd pkg/exp/ogle make clean time make ogle |