summaryrefslogtreecommitdiff
path: root/Build/source/doc
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-06-06 22:21:33 +0000
committerKarl Berry <karl@freefriends.org>2019-06-06 22:21:33 +0000
commitb1f25da6362d2bb38aa5b1eaea73a4609b0c906b (patch)
tree799a16a4f0005dd1f676064f99caa6b5ab9d5a51 /Build/source/doc
parenta49413506f5b7b1cf775e17dc08cf373a9db023b (diff)
build-info.sh script to create Work/buildinfo.log
git-svn-id: svn://tug.org/texlive/trunk@51335 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/doc')
-rwxr-xr-xBuild/source/doc/build-info.sh27
1 files changed, 27 insertions, 0 deletions
diff --git a/Build/source/doc/build-info.sh b/Build/source/doc/build-info.sh
new file mode 100755
index 00000000000..b67875419e5
--- /dev/null
+++ b/Build/source/doc/build-info.sh
@@ -0,0 +1,27 @@
+#!/bin/sh
+# $Id$
+# Report build environment; run from top-level Makefile so any make
+# overrides will be taken into account.
+
+printf 'uname\t"%s"\n' "`uname -a`"
+test -s /etc/issue \
+&& printf 'issue\t"%s"\n' "`sed 1q /etc/issue`"
+# bsd doesn't have /etc/issue, but seems sufficiently identified by uname.
+
+printf 'MAKE-v\t"%s"\n' "`${MAKE-make} -v 2>&1 | sed 1q`"
+# BSD make does not give version info with -v, but the
+# first line of the usage message is a sort of identifier.
+
+# our configure defaults to using gcc and g++.
+printf 'CC-v\t"%s"\n' "`${CC-gcc} --version 2>&1 | sed 1q`"
+printf 'CXX-v\t"%s"\n' "`${CXX-g++} --version 2>&1 | sed 1q`"
+
+# dump whole environment to be sure we get anything relevant,
+# although it will surely include many irrelevancies.
+env | sort -f
+
+# the whole configure line and more.
+test -s config.status \
+&& (printf 'CONFIG_STATUS\n'; ./config.status --version)
+
+exit 0