X-Git-Url: https://git.exim.org/exim.git/blobdiff_plain/61ec970df30325dbcd8c9d0f0e431dc793126656..2be77199fc9009ab796ad2d67eed20d8da4773c7:/src/scripts/Configure-os.h diff --git a/src/scripts/Configure-os.h b/src/scripts/Configure-os.h index b395af499..ae1ecf943 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 accommodate 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".