diff options
Diffstat (limited to 'src/run.bash')
-rwxr-xr-x | src/run.bash | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/src/run.bash b/src/run.bash index 07f2774a1..619ba9b7d 100755 --- a/src/run.bash +++ b/src/run.bash @@ -26,12 +26,10 @@ maketest() { maketest \ pkg \ - ../usr/austin/eval \ # all of these are subtly different # from what maketest does. - (xcd pkg/sync; make clean; time make @@ -55,7 +53,18 @@ make clean ./test.bash ) || exit $? -(xcd ../usr/austin/ogle +(xcd ../usr/r/rpc +make clean +time make +./chanrun +) || exit $? + +(xcd ../usr/dsymonds/iterable +make clean +time make test +) || exit $? + +(xcd pkg/exp/ogle make clean time make ogle ) || exit $? |