summaryrefslogtreecommitdiff
path: root/config-ml.in
diff options
context:
space:
mode:
Diffstat (limited to 'config-ml.in')
-rw-r--r--config-ml.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/config-ml.in b/config-ml.in
index 8a000d30d3a..5692fb33a46 100644
--- a/config-ml.in
+++ b/config-ml.in
@@ -555,6 +555,7 @@ multi-do:
LIBCFLAGS="$(LIBCFLAGS) $${flags}" \
LIBCXXFLAGS="$(LIBCXXFLAGS) $${flags}" \
LDFLAGS="$(LDFLAGS) $${flags}" \
+ DESTDIR="$(DESTDIR)" \
$(DO)); then \
true; \
else \