diff options
Diffstat (limited to 'src/run.bash')
| -rwxr-xr-x | src/run.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/run.bash b/src/run.bash index 5d759cfaf9..8dc4040396 100755 --- a/src/run.bash +++ b/src/run.bash @@ -20,7 +20,7 @@ make test (xcd lib/reflect make clean time make -bash test.bash +make test ) || exit $? (xcd lib/regexp |
