X-Git-Url: https://git.exim.org/users/jgh/exim.git/blobdiff_plain/61ec970df30325dbcd8c9d0f0e431dc793126656..465e92cf615821d65e80001dbf11c2abc0147c74:/src/scripts/Configure-os.h diff --git a/src/scripts/Configure-os.h b/src/scripts/Configure-os.h index b395af499..f3d8d5193 100755 --- a/src/scripts/Configure-os.h +++ b/src/scripts/Configure-os.h @@ -1,5 +1,5 @@ #! /bin/sh -# $Cambridge: exim/src/scripts/Configure-os.h,v 1.1 2004/10/06 15:07:40 ph10 Exp $ +# $Cambridge: exim/src/scripts/Configure-os.h,v 1.3 2008/04/13 09:22:45 tom Exp $ # Shell script to create a link to the appropriate OS-specific header file. @@ -28,7 +28,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".