diff options
Diffstat (limited to 'all')
-rwxr-xr-x | all | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ make -s -j | |||
2 | cd testes/libs; make -s | 2 | cd testes/libs; make -s |
3 | cd .. # back to directory 'testes' | 3 | cd .. # back to directory 'testes' |
4 | ulimit -S -s 2000 | 4 | ulimit -S -s 2000 |
5 | if { ../lua all.lua; } then | 5 | if { ../lua -W all.lua; } then |
6 | echo -e "\n\n final OK!!!!\n\n" | 6 | echo -e "\n\n final OK!!!!\n\n" |
7 | else | 7 | else |
8 | echo -e "\n\n >>>> BUG!!!!\n\n" | 8 | echo -e "\n\n >>>> BUG!!!!\n\n" |