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" |
