integer-gmp is warning-free

diff --git a/libraries/Makefile.local b/libraries/Makefile.local
index 9606f94..327ae17 100644 (file)
--- a/libraries/Makefile.local
+++ b/libraries/Makefile.local
@@ -23,7 +23,7 @@ GhcLibHcOpts += -Wall
 # now at least we just disable them completely.
 GhcLibHcOpts += -fno-warn-deprecated-flags
 
-ifeq "$(filter-out array-% base-% directory-% editline-% filepath-% ghc-prim-% hpc-% integer-gmp-% pretty-% process-% unix-% Win32-%,$(package))" ""
+ifeq "$(filter-out array-% base-% directory-% editline-% filepath-% ghc-prim-% hpc-% pretty-% process-% unix-% Win32-%,$(package))" ""
 # XXX We are one of the above list, i.e. we are a package that is not
 # yet warning-clean. Thus turn warnings off for now so that validate
 # goes through.