3
# Write a version stamp into $1. $2 is the compiler name.
5
# Last edited: 2002-06-08 18:32:53 by piumarta on emilia.inria.fr
8
SERIAL=`head -1 $1 | cut -d ' ' -f 3 | sed 's/;//'`
9
SERIAL=`expr $SERIAL + 1`
14
if expr "$2" : ".*gcc" >/dev/null ; then
15
CC=`$2 -v 2>&1 | tail -1 | sed 's/.*based on//g' | awk '{print $1 , $3} '`
21
int vm_serial= $SERIAL;
22
char *vm_date= "`date`";
23
char *cc_version= "$CC";
24
char *ux_version= "`uname -a | sed 's, unknown,,g'`";