diff options
Diffstat (limited to 'rules/distdir-opts.mk')
| -rw-r--r-- | rules/distdir-opts.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rules/distdir-opts.mk b/rules/distdir-opts.mk index 50cc05edf3..d855ddead9 100644 --- a/rules/distdir-opts.mk +++ b/rules/distdir-opts.mk @@ -96,7 +96,7 @@ $1_$2_ALL_HSC2HS_OPTS = \ $1_$2_ALL_ALEX_OPTS = \ $$(CONF_ALEX_OPTS) \ - $$(SRC_ALEX_OPTS) + $$(SRC_ALEX_OPTS) \ $$($1_ALEX_OPTS) \ $$($1_$2_ALEX_OPTS) \ $$(EXTRA_ALEX_OPTS) |