diff --git a/mk/boilerplate.mk b/mk/boilerplate.mk index 21d241537a924763ccfcfe3c583ad7ede554e826..c50043af4fa9b6b75072fa16fd4ff0d03caefd76 100644 --- a/mk/boilerplate.mk +++ b/mk/boilerplate.mk @@ -22,6 +22,8 @@ GHC_TOP := $(TOP) TOP := $(NOFIB_TOP) RM = rm -f +SIZE = size +STRIP = strip # Turn off -Werror for nofib. This allows you to use nofib in a tree # built with validate.