diff options
Diffstat (limited to 'src/run.bash')
| -rwxr-xr-x | src/run.bash | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/src/run.bash b/src/run.bash index ea98403f7..bb3d06c45 100755 --- a/src/run.bash +++ b/src/run.bash @@ -33,8 +33,7 @@ xcd() { if $rebuild; then (xcd pkg gomake clean - time gomake - gomake install + time gomake install ) || exit $i fi @@ -43,18 +42,10 @@ gomake testshort ) || exit $? (xcd pkg/sync; -if $rebuild; then - gomake clean; - time gomake -fi GOMAXPROCS=10 gomake testshort ) || exit $? (xcd cmd/ebnflint -if $rebuild; then - gomake clean; - time gomake -fi time gomake test ) || exit $? @@ -83,7 +74,6 @@ gomake clean time gomake ogle ) || exit $? -[ "$GOHOSTOS" == windows ] || (xcd ../doc/progs time ./run ) || exit $? |