diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 09:44:07 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-27 09:44:07 +0000 |
commit | 39ce00b8d520cbecbd6af87257e8fb11df0ec273 (patch) | |
tree | 4c21a2674c19e5c44be3b3550b476b9e63d8ae3d /scripts/Configure-os.c | |
parent | Initial commit. (diff) | |
download | exim4-39ce00b8d520cbecbd6af87257e8fb11df0ec273.tar.xz exim4-39ce00b8d520cbecbd6af87257e8fb11df0ec273.zip |
Adding upstream version 4.94.2.upstream/4.94.2upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'scripts/Configure-os.c')
-rwxr-xr-x | scripts/Configure-os.c | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/scripts/Configure-os.c b/scripts/Configure-os.c new file mode 100755 index 0000000..f00a562 --- /dev/null +++ b/scripts/Configure-os.c @@ -0,0 +1,30 @@ +#! /bin/sh + +# Shell script to build os.c. There doesn't have to be an OS-specific os.c +# file, but if there is, it gets copied at the start of os.c. The basic src +# copy of os.c contains generic functions, controlled in some cases by +# macro switches so that where they are common to a number of OS, they can +# just be switched in. + +scripts=../scripts + +# First off, get the OS type, and check that there is a make file for it. + +os=`$scripts/os-type -generic` || exit 1 + +if test ! -r ../OS/Makefile-$os +then echo "" + echo "*** Sorry - operating system $os is not supported" + echo "*** See OS/Makefile-* for supported systems" 1>&2 + echo "" + exit 1; +fi + +# Now build the file + +rm -f os.c +echo '#include "exim.h"' > os.c || exit 1 +test -r ../OS/os.c-$os && cat ../OS/os.c-$os >> os.c +echo '#include "../src/os.c"' >> os.c || exit 1 + +# End of Configure-os.c |