blob: fa06746a8623d7a74536b968cf0b0c0428b134c8 (
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
|
#!/bin/bash
echo "config............: `basename \`pwd\``" >&5
echo "date..............: `date`" >&5
echo "user..............: ${USER}@${HOSTNAME}" >&5
PTX_STARTTIME=`date +"%s"`
ln -sf /ptx/src
ptxdist go
PTX_RETVAL=$?
PTX_STOPTIME=`date +"%s"`
let "PTX_TIME=$PTX_STOPTIME-$PTX_STARTTIME"
let "PTX_TIME_H=$PTX_TIME/3600"
let "PTX_TIME_M=($PTX_TIME-$PTX_TIME_H*3600)/60"
let "PTX_TIME_S=($PTX_TIME-$PTX_TIME_H*3600-$PTX_TIME_M*60)/60"
echo "buildtime........: `${PTX_TIME_H}h${PTX_TIME_M}m${PTX_TIME_S}s`" >&5
echo "result...........: ${PTX_RETVAL}" >&5
|
