diff options
Diffstat (limited to 'src/run.bash')
| -rwxr-xr-x | src/run.bash | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/run.bash b/src/run.bash index 4d8d04bfb3..24bcd3f228 100755 --- a/src/run.bash +++ b/src/run.bash @@ -152,10 +152,7 @@ make clean || exit 1 ) || exit $? (xcd ../doc/codewalk -# TODO: test these too. -go build pig.go || exit 1 -go build urlpoll.go || exit 1 -rm -f pig urlpoll +time ./run || exit 1 ) || exit $? echo |