diff options
Diffstat (limited to 'source/script/build_env.sh')
| -rwxr-xr-x | source/script/build_env.sh | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/source/script/build_env.sh b/source/script/build_env.sh deleted file mode 100755 index 0000759f160..00000000000 --- a/source/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 |