|
1
|
#!/bin/sh |
|
2
|
|
|
3
|
# This script checks that the default makefile is only used on platforms where it is |
|
4
|
# positively known to work. |
|
5
|
# |
|
6
|
# Building on other platforms can result in subtly broken binaries. |
|
7
|
|
|
8
|
HOST_OS=`uname -s` |
|
9
|
|
|
10
|
# Check host OS, or whether this check has been disabled because we're running through |
|
11
|
# the autosetup GNUmakefile. |
|
12
|
if [ $HOST_OS == Linux ] || [ $HOST_OS == Darwin ] || [ X$1 == Xdisable ] |
|
13
|
then |
|
14
|
touch bld/checked-platform.$1 |
|
15
|
else |
|
16
|
echo |
|
17
|
echo The default Makefile cannot be used on this platform. |
|
18
|
echo |
|
19
|
echo Use |
|
20
|
echo |
|
21
|
echo " ./configure; make -f GNUmakefile" |
|
22
|
echo |
|
23
|
echo to build fossil. |
|
24
|
echo |
|
25
|
exit 1 |
|
26
|
fi |
|
27
|
|