diff options
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index 35e776bfc..7c0273485 100644 --- a/src/Makefile +++ b/src/Makefile @@ -42,11 +42,11 @@ ifeq ("$(READLINE)","readline") endif ifneq ("$(CPPFLAGS)","") - GHCFLAGS += -optP'$(CPPFLAGS)' + GHCFLAGS += $(addprefix -optP, $(CPPFLAGS)) endif ifneq ("$(LDFLAGS)","") - GHCFLAGS += -optl'$(LDFLAGS)' + GHCFLAGS += $(addprefix -optl, $(LDFLAGS)) endif ifeq ("$(INTERRUPT)","yes") |