git://git.exim.org
/
users
/
jgh
/
exim.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Check for errors running cmdline scanner. Bug 1396
[users/jgh/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
#! /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.
# 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
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".
# Special-purpose fudge for older versions of Linux (pre 2.1.15) that
# use the structure name "options" instead of "ip_options".