diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-12-20 15:55:26 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-12-20 15:55:26 +0000 |
| commit | 6590edbd489dd39dfd666c3bfc0f7bd2ee45bbfc (patch) | |
| tree | 45c97e4e9144f5378c857218bf1eb450e487c836 | |
| parent | 701c57f25a28fcd80cffcddfae7005535a1f4c48 (diff) | |
Handle giving several options in LDFLAGS and CPPFLAGS correctly.
| -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") |