X-Git-Url: https://diplodocus.org/git/nmh/blobdiff_plain/182be454d9028f166fcfb0f2c41104c59641a826..3fcb4665e17d451b0a1865353843c3dbdd1b5ca7:/tools/showbuildenv

diff --git a/tools/showbuildenv b/tools/showbuildenv
index f5b4b3f7..93f5efef 100755
--- a/tools/showbuildenv
+++ b/tools/showbuildenv
@@ -9,6 +9,9 @@
 # This script should *only* report basic information about the build
 # environment, and only that necessary to reproduce the build
 # environment.
+#
+# FIXME: Document meaning of script's exit status, if any.
+# It jumps through hoops with `|| true' despite not using `set -e'.
 
 offset () {
     sed -e '/./s/^/    /'
@@ -16,7 +19,7 @@ offset () {
 
 header () {
     echo
-    echo $*
+    echo "$@"
     echo
 }