X-Git-Url: https://git.exim.org/users/jgh/exim.git/blobdiff_plain/61ec970df30325dbcd8c9d0f0e431dc793126656..ef698bf6a7a59d28c93fca18e4509ca6c67d7dca:/src/scripts/Configure-os.h

diff --git a/src/scripts/Configure-os.h b/src/scripts/Configure-os.h
index b395af499..e9f6afd98 100755
--- a/src/scripts/Configure-os.h
+++ b/src/scripts/Configure-os.h
@@ -1,5 +1,4 @@
 #! /bin/sh
-# $Cambridge: exim/src/scripts/Configure-os.h,v 1.1 2004/10/06 15:07:40 ph10 Exp $
 
 # Shell script to create a link to the appropriate OS-specific header file.
 
@@ -28,7 +27,10 @@ then    echo ""
 	exit 1;
 fi
 rm -f os.h
-ln -s ../OS/os.h-$os os.h || exit 1
+
+# In order to accomodate for the fudge below, copy the file instead of
+# symlinking it. Otherwise we pollute the clean copy with the fudge.
+cp -p ../OS/os.h-$os os.h || exit 1
 
 # Special-purpose fudge for older versions of Linux (pre 2.1.15) that
 # use the structure name "options" instead of "ip_options".