2 commits

Author	SHA1	Message	Date
Simon Butcher	3ac076784c	Suppress shell errors in output_env.sh ... When the output_env.sh script is executed, if any application wasn't found on the path by hash, and error was being output, which as an error looked like the script wasn't working. This change redirects the output to stderr from hash to /dev/null to suppress the error. Also fixes a formatting error.	2016-09-05 14:53:13 +01:00
Janos Follath	b72c67804a	Add script to print build environment info. (#539) ... * Add script to print build environment info. The new script is also included in: - all.sh - basic-build-test.sh * Tidy up environment reporting script. Changes include: - making the echo calls portable - removing unnecessary brackets - using more efficient checks for the existance of commands - correcting typos and copyright year * Update references to output_env.sh	2016-07-19 14:54:17 +01:00