Default for warnings changed to "off"

Warnings are mostly a tool to help developers (e.g., by showing hidden
error messages); regular users usually don't need to see them.
This commit is contained in:
Roberto Ierusalimschy
2019-08-20 13:42:26 -03:00
parent 5bc47fe830
commit be78aeae4c
10 changed files with 23 additions and 17 deletions

2
all
View File

@@ -2,7 +2,7 @@ make -s -j
cd testes/libs; make -s
cd .. # back to directory 'testes'
ulimit -S -s 2000
if { ../lua all.lua; } then
if { ../lua -W all.lua; } then
echo -e "\n\n final OK!!!!\n\n"
else
echo -e "\n\n >>>> BUG!!!!\n\n"