# HG changeset patch # User wenzelm # Date 1457646555 -3600 # Node ID 4832491d137619828b072f8938597285b2c3fe37 # Parent 98122e719d1928e6478a99946d1185cd375aa887 tuned; diff -r 98122e719d19 -r 4832491d1376 lib/Tools/doc --- a/lib/Tools/doc Thu Mar 10 22:21:01 2016 +0100 +++ b/lib/Tools/doc Thu Mar 10 22:49:15 2016 +0100 @@ -6,4 +6,4 @@ isabelle_admin_build jars || exit $? -isabelle java isabelle.Doc "$@" +exec isabelle java isabelle.Doc "$@" diff -r 98122e719d19 -r 4832491d1376 lib/Tools/process --- a/lib/Tools/process Thu Mar 10 22:21:01 2016 +0100 +++ b/lib/Tools/process Thu Mar 10 22:49:15 2016 +0100 @@ -19,4 +19,4 @@ mkdir -p "$ISABELLE_TMP_PREFIX" || exit $? -isabelle java isabelle.ML_Process "$@" +exec isabelle java isabelle.ML_Process "$@" diff -r 98122e719d19 -r 4832491d1376 lib/Tools/update_cartouches --- a/lib/Tools/update_cartouches Thu Mar 10 22:21:01 2016 +0100 +++ b/lib/Tools/update_cartouches Thu Mar 10 22:49:15 2016 +0100 @@ -6,4 +6,4 @@ isabelle_admin_build jars || exit $? -isabelle java isabelle.Update_Cartouches "$@" +exec isabelle java isabelle.Update_Cartouches "$@" diff -r 98122e719d19 -r 4832491d1376 lib/Tools/update_header --- a/lib/Tools/update_header Thu Mar 10 22:21:01 2016 +0100 +++ b/lib/Tools/update_header Thu Mar 10 22:49:15 2016 +0100 @@ -6,4 +6,4 @@ isabelle_admin_build jars || exit $? -isabelle java isabelle.Update_Header "$@" +exec isabelle java isabelle.Update_Header "$@" diff -r 98122e719d19 -r 4832491d1376 lib/Tools/update_then --- a/lib/Tools/update_then Thu Mar 10 22:21:01 2016 +0100 +++ b/lib/Tools/update_then Thu Mar 10 22:49:15 2016 +0100 @@ -6,4 +6,4 @@ isabelle_admin_build jars || exit $? -isabelle java isabelle.Update_Then "$@" +exec isabelle java isabelle.Update_Then "$@" diff -r 98122e719d19 -r 4832491d1376 lib/Tools/update_theorems --- a/lib/Tools/update_theorems Thu Mar 10 22:21:01 2016 +0100 +++ b/lib/Tools/update_theorems Thu Mar 10 22:49:15 2016 +0100 @@ -6,4 +6,4 @@ isabelle_admin_build jars || exit $? -isabelle java isabelle.Update_Theorems "$@" +exec isabelle java isabelle.Update_Theorems "$@"