diff options
Diffstat (limited to 'all')
-rwxr-xr-x | all | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ | |||
1 | make -s -j | 1 | 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 1000 |
5 | if { ../lua -W 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 |