Tidying: indentation

[users/heiko/exim.git] / src / scripts / Configure-os.h

diff --git a/src/scripts/Configure-os.h b/src/scripts/Configure-os.h
index b395af499df20f8786200d3da35e67b6963bef62..e9f6afd984931e054f2d986c4f24404aa00fc7d7 100755 (executable)
--- 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".