blob: 820c50e9a7f362ed789cc760a3af3618f5d6dda3 (
plain)
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
#!/bin/bash
# $1: compiler path
# $2: configuration name
# $3: logfile
PATH=$1:$PATH
echo config...: $2 >> $3
echo date.....: `date` >> $3
echo user.....: $USER@$HOSTNAME >> $3
make $2_config
if [ $? != "0" ]; then
echo "result...: no config file '$2'" >> $3
echo >> $3
exit 1
fi
make oldconfig
#
# Now start the compilation
#
PTX_STARTTIME=`date +"%s"`
(make world; echo PTX_RESULT=$?) 2>&1 | tee logfile
PTX_STOPTIME=`date +"%s"`
PTX_RESULT=`grep PTX_RESULT logfile | awk -F"=" -- '{print $2}'`
let "PTX_TIME=$PTX_STOPTIME-$PTX_STARTTIME"
PTX_BUILDTIME_H=$(($PTX_TIME/3600))
PTX_TIME=$(($PTX_TIME-$PTX_BUILDTIME_H*3600))
PTX_BUILDTIME_M=$(($PTX_TIME/60))
PTX_TIME=$(($PTX_TIME-$PTX_BUILDTIME_M*60))
PTX_BUILDTIME_S=$PTX_TIME
echo buildtime: ${PTX_BUILDTIME_H}h${PTX_BUILDTIME_M}m${PTX_BUILDTIME_S}s >> $3
echo result...: $PTX_RESULT >> $3
echo >> $3
# save logfile
mv logfile logs/$2.log
# save root filesystem
# FIXME: use image mechanism...
tar -zcvf logs/$2-root.tar.gz root
# save depend.out
mv depend.out logs/$2.dep
make distclean
|
