Commit | Line | Data |
---|---|---|
61ec970d | 1 | #! /bin/sh |
61ec970d PH |
2 | |
3 | # Shell script to build os.c. There doesn't have to be an OS-specific os.c | |
4 | # file, but if there is, it gets copied at the start of os.c. The basic src | |
5 | # copy of os.c contains generic functions, controlled in some cases by | |
6 | # macro switches so that where they are common to a number of OS, they can | |
7 | # just be switched in. | |
8 | ||
9 | scripts=../scripts | |
10 | ||
11 | # First off, get the OS type, and check that there is a make file for it. | |
12 | ||
13 | os=`$scripts/os-type -generic` || exit 1 | |
14 | ||
15 | if test ! -r ../OS/Makefile-$os | |
16 | then echo "" | |
17 | echo "*** Sorry - operating system $os is not supported" | |
18 | echo "*** See OS/Makefile-* for supported systems" 1>&2 | |
19 | echo "" | |
20 | exit 1; | |
21 | fi | |
22 | ||
23 | # Now build the file | |
24 | ||
25 | rm -f os.c | |
26 | echo '#include "exim.h"' > os.c || exit 1 | |
27 | test -r ../OS/os.c-$os && cat ../OS/os.c-$os >> os.c | |
28 | echo '#include "../src/os.c"' >> os.c || exit 1 | |
29 | ||
30 | # End of Configure-os.c |