diff options
Diffstat (limited to 'config-ml.in')
| -rw-r--r-- | config-ml.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config-ml.in b/config-ml.in index 937273173c..4082fe45d3 100644 --- a/config-ml.in +++ b/config-ml.in @@ -546,6 +546,7 @@ multi-do: flags=`echo $$i | sed -e 's/^[^;]*;//' -e 's/@/ -/g'`; \ if (cd ../$${dir}/$${lib}; $(MAKE) $(FLAGS_TO_PASS) \ CFLAGS="$(CFLAGS) $${flags}" \ + CCASFLAGS="$(CCASFLAGS) $${flags}" \ FCFLAGS="$(FCFLAGS) $${flags}" \ FFLAGS="$(FFLAGS) $${flags}" \ ADAFLAGS="$(ADAFLAGS) $${flags}" \ |