diff options
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 080937a683f..55fad1244a0 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1167,11 +1167,13 @@ $(CONFIGURE_TARGET_MODULES): libsrcdir="$$s/$${dir}"; \ fi; \ if [ -f $${libsrcdir}/configure ] ; then \ - CONFIG_SITE=/dev/null $(SHELL) $${libsrcdir}/configure \ + rm -f no-such-file; \ + CONFIG_SITE=no-such-file $(SHELL) $${libsrcdir}/configure \ $(CONFIG_ARGUMENTS) $${srcdiroption} \ --with-target-subdir="$(TARGET_SUBDIR)"; \ else \ - CONFIG_SITE=/dev/null $(SHELL) $$s/configure \ + rm -f no-such-file; \ + CONFIG_SITE=no-such-file $(SHELL) $$s/configure \ $(CONFIG_ARGUMENTS) $${srcdiroption} \ --with-target-subdir="$(TARGET_SUBDIR)"; \ fi; \ |