From: Richard W.M. Jones <rjones@redhat.com>
Date: Sat, 18 Jan 2020 20:52:36 +0000 (+0000)
Subject: run: Set OCAMLRUNPARAM to display stack traces by default.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=11542de0c20b4c20f51838d6839bb420f3c15a07;p=goals.git

run: Set OCAMLRUNPARAM to display stack traces by default.
---

diff --git a/run.in b/run.in
index 928882d..9e04a5a 100644
--- a/run.in
+++ b/run.in
@@ -38,6 +38,10 @@ prepend PATH "$b/src"
 # Set up environment variables to add default flags.
 export GOALS_DATADIR="$b"
 
+# Set OCAMLRUNPARAM so stack traces are displayed, but don't
+# override the user's value.
+if [ -z "$OCAMLRUNPARAM" ]; then export OCAMLRUNPARAM=b; fi
+
 # Run the program.
 #echo "$@"
 exec "$@"