1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
#!/bin/sh
# this generates the "build.c" file
# try to find out the build date
if [ -x /bin/date ]; then
date='char *BuildDate= "'`/bin/date`'";'
else
date='char *BuildDate= (char *)0;'
fi
# try to find out who's doing the build. there are two common places
# for 'id', /bin/id and /usr/bin/id.
if [ -x /bin/id ]; then
user='char *BuildUser= "'`/bin/id`'";'
else
if [ -x /usr/bin/id ]; then
user='char *BuildUser= "'`/usr/bin/id`'";'
else
user='char *BuildUser= (char *)0;'
fi
fi
# try to find out the system information
if [ -x /bin/uname ]; then
uname='char *BuildSystem= "'`/bin/uname -a`'";'
else
uname='char *BuildSystem= "<unknown system>";'
fi
echo '/* THIS FILE IS AUTOMATICALLY GENERATED */' > build.c
echo $uname >> build.c
echo $date >> build.c
echo $user >> build.c
|
