when typing make under tmp, configure options used to be set at "build" command line...
[charm.git] / src / scripts / Makefile
index 1d931f105e5ef255510489231c2dc806626761a4..f358904acb96b9532293c5baeb61705326423331 100644 (file)
@@ -257,7 +257,8 @@ headers: dirs+sources
        $(MAKE) headerlinks
 
 conv-autoconfig.h: configure
-       ./configure $(QUIET) $(CONFIG_OPTS)
+       @. ./config_opts.sh; echo ./configure $(QUIET) $$CONFIG_OPTS;  \
+       ./configure $(QUIET) $$CONFIG_OPTS
 
 headerlinks: dirs+sources Makefile $(ALLHEADERS)
        @[ "x$QUIET" = "x--quiet" ] || echo "Soft-linking headers..."