X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2Fgmp%2Fconfigure;h=82946804862778db71401e6483e424f231f5adc4;hb=b6d70ef77033fd09f7bfb9c020fd9e40b3dbac29;hp=8b7be879d53645ddc4c9d576761c44a3242bf16a;hpb=17c8f290f79fe40acb45c7cb610847a6f7757303;p=ghc-hetmet.git diff --git a/ghc/rts/gmp/configure b/ghc/rts/gmp/configure index 8b7be87..8294680 100644 --- a/ghc/rts/gmp/configure +++ b/ghc/rts/gmp/configure @@ -5173,10 +5173,18 @@ for ac_file in : $CONFIG_LINKS; do if test "x$ac_file" != x:; then *) ac_rel_source="$ac_dots$srcdir/$ac_source" ;; esac + # Note: Dodgy local mods to 'make things work' in an environment (cygwin) + # that supports symlinks (through silly hack) using tools that don't + # understand them (mingw). The end sometimes justifies the means, son. + # # Make a symlink if possible; otherwise try a hard link. #if ln -s $ac_rel_source $ac_dest 2>/dev/null || # ln $srcdir/$ac_source $ac_dest; then : - if cp $srcdir/$ac_source $ac_dest; then : + # + # Note: If the -p offends your 'cp', just drop it; no harm done, you'll just + # get more recompilations. + # + if cp -p $srcdir/$ac_source $ac_dest; then : else { echo "configure: error: cannot copy $ac_dest to $srcdir/$ac_source" 1>&2; exit 1; } fi