File tree Expand file tree Collapse file tree 1 file changed +9
-7
lines changed
Expand file tree Collapse file tree 1 file changed +9
-7
lines changed Original file line number Diff line number Diff line change 66# Changed by Adrian Pop, adrpo@ida.liu.se, 2006-02-02
77#
88
9- date
9+ TMPSTART=` date +" %s" `
10+ TMPMSG=" "
1011mydir=" ` dirname $0 ` "
1112
1213if [ -z " ${OMDEV} " ]; then
2829fi
2930
3031if [ ! -f $sig_file ]; then
31- echo " Sig file does not exist..." ;
32+ TMPMSG= " Sig file does not exist..." ;
3233 ${RML} -fdump-interface $1 > $sig_file ;
3334else
34- echo " Generates tmp sig."
35+ # echo "Generates tmp sig."
3536 ${RML} -fdump-interface $1 > $tmp_file
36- echo " Diffing"
37+ # echo "Diffing"
3738 diff $tmp_file $sig_file > /dev/null
3839 if [ $? -eq 0 ]; then
39- echo " Interface is the same"
40+ TMPMSG= " Interface is the same"
4041 rm $tmp_file
4142 else
42- echo " Interface has changed"
43+ TMPMSG= " Interface has changed"
4344 \m v $tmp_file $sig_file
4445 fi
4546fi
46- date
47+ TMPEND=` date +" %s" `
48+ echo [` expr $TMPEND - $TMPSTART ` second\( s\) ]
You can’t perform that action at this time.
0 commit comments