diff --git a/configure b/configure index a631dc912b0..36576c21244 100755 --- a/configure +++ b/configure @@ -2125,6 +2125,9 @@ if [ "$OPT_SHADOW" = "yes" ]; then # save a pre-existing mkspecs/modules dir test -d "$outpath/mkspecs/modules" && \ mv "$outpath/mkspecs/modules" "$outpath/mkspecs-modules" + # ditto for mkspecs/modules-inst + test -d "$outpath/mkspecs/modules-inst" && \ + mv "$outpath/mkspecs/modules-inst" "$outpath/mkspecs-modules-inst" # symlink the mkspecs directory mkdir -p "$outpath/mkspecs" @@ -2152,6 +2155,12 @@ if [ "$OPT_SHADOW" = "yes" ]; then ShadowMkspecs modules fi + # The modules-inst dir is not quite as special, but still. + if test -d "$outpath/mkspecs-modules-inst"; then + rm -rf "$outpath/mkspecs/modules-inst" + mv "$outpath/mkspecs-modules-inst" "$outpath/mkspecs/modules-inst" + fi + # symlink the doc directory rm -rf "$outpath/doc" ln -s "$relpath/doc" "$outpath/doc"