diff options
Diffstat (limited to 'source4/script/build_env.sh')
-rw-r--r-- | source4/script/build_env.sh | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/source4/script/build_env.sh b/source4/script/build_env.sh deleted file mode 100644 index 0000759f16..0000000000 --- a/source4/script/build_env.sh +++ /dev/null @@ -1,35 +0,0 @@ -#!/bin/sh - -uname=`uname -a` -date=`date` -srcdir=$1 -builddir=$2 -compiler=$3 - - if [ ! "x$USER" = "x" ]; then - whoami=$USER - else - if [ ! "x$LOGNAME" = "x" ]; then - whoami=$LOGNAME - else - whoami=`whoami || id -un` - fi - fi - -host=`hostname` - -cat <<EOF -/* This file is automatically generated with "make build_env". DO NOT EDIT */ - -#ifndef _BUILD_ENV_H -#define _BUILD_ENV_H - -#define BUILD_ENV_UNAME "${uname}" -#define BUILD_ENV_DATE "${date}" -#define BUILD_ENV_SRCDIR "${srcdir}" -#define BUILD_ENV_BUILDDIR "${builddir}" -#define BUILD_ENV_USER "${whoami}" -#define BUILD_ENV_HOST "${host}" -#define BUILD_ENV_COMPILER "${compiler}" -#endif /* _BUILD_ENV_H */ -EOF |