mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Specify --no-halt-at-warn-make-{int,opt}.

Browse Source
This commit is contained in:
Zoltan Somogyi
2021-12-26 03:10:01 +11:00
parent 054721812a
commit 0424c3f947
10 changed files with 20 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
mfilterjavac/MFILTERJAVAC_FLAGS.in
View File

@@ -9,6 +9,8 @@
--warn-insts-with-functors-without-type
--warn-potentially-ambiguous-pragma
--halt-at-warn
--no-halt-at-warn-make-int
--no-halt-at-warn-make-opt
--no-warn-inferred-erroneous
--no-mercury-stdlib-dir
--no-detect-libgrades