var m = new Message(l, null, s, 2)
if messages.has(m) then return m
if l != null then l.add_message m
+ if opt_warn.value <= -1 then return m
messages.add m
error_count = error_count + 1
if opt_stop_on_first_error.value then check_errors
if messages.has(m) then return null
if l != null then l.add_message m
if opt_warning.value.has("no-{tag}") then return null
- if not opt_warning.value.has(tag) and opt_warn.value == 0 then return null
+ if not opt_warning.value.has(tag) and opt_warn.value <= 0 then return null
messages.add m
warning_count = warning_count + 1
if opt_stop_on_first_error.value then check_errors
proc_which.wait
var res = proc_which.status
if res != 0 then
- print "{error}: executable \"{prog}\" not found"
+ print_error "{error}: executable \"{prog}\" not found"
exit 1
end
proc.wait
res = proc.status
if res != 0 then
- print "{error}: execution of \"{prog} {args.join(" ")}\" failed"
+ print_error "{error}: execution of \"{prog} {args.join(" ")}\" failed"
exit 1
end
end