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

Remove a workaround.

Browse Source
This commit is contained in:
Zoltan Somogyi
2020-03-29 14:01:54 +11:00
parent 887fa0efeb
commit 01a1744bc2
2 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/make.util.m
View File

@@ -526,9 +526,7 @@ make_dependency_list(ModuleNames, TargetType) =
ModuleNames).
target_extension(Globals, Target) = MaybeExt :-
% XXX This line is commented out until compilers that
% know about the no_solution_disjunct warning are installed.
% disable_warning [no_solution_disjunct]
disable_warning [no_solution_disjunct]
(
Target = module_target_source,
MaybeExt = yes(".m")

1
configure.ac
View File

@@ -582,6 +582,7 @@ EOF
--warn-insts-without-matching-type \
--warn-known-bad-format-calls \
--obsolete-proc-2019-10-23 \
--github-85--2020-03-24 \
--no-detect-libgrades \
--output-grade-string \
--shlib-linker-install-name-flag "-dummy_flag" \