diff options
Diffstat (limited to 'src/run.bash')
| -rwxr-xr-x | src/run.bash | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/run.bash b/src/run.bash index 0210d9fb9..9ae1ece74 100755 --- a/src/run.bash +++ b/src/run.bash @@ -16,8 +16,8 @@ maketest() { do ( xcd $i - # make clean - # time make + make clean + time make make install make test ) || exit $? |