From 11542de0c20b4c20f51838d6839bb420f3c15a07 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 18 Jan 2020 20:52:36 +0000 Subject: [PATCH] run: Set OCAMLRUNPARAM to display stack traces by default. --- run.in | 4 ++++ 1 file changed, 4 insertions(+) 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 "$@" -- 1.8.3.1