#!/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
