diff --git a/configure b/configure index a19c79493d..dc9b861791 100755 --- a/configure +++ b/configure @@ -4761,7 +4761,7 @@ echo "License: $license" echo "Creating config.mak, config.h, and doc/config.texi..." -test -e Makefile || $ln_s "$source_path/Makefile" . +test -e Makefile || echo "include $source_path/Makefile" > Makefile enabled stripping || strip="echo skipping strip"