# HG changeset patch
# User blanchet
# Date 1310588179 -7200
# Node ID 8ba759b8caa8de0383dc3eab7b2dfe327ebd93f3
# Parent  bfad30568d400e6e9fc93737a1a5129f4387a597
avoid relying on piping to "isabelle tty", because this gives errors on some Linuxes about the standard input not being a tty

diff -r bfad30568d40 -r 8ba759b8caa8 src/HOL/Tools/Nitpick/lib/Tools/nitrox
--- a/src/HOL/Tools/Nitpick/lib/Tools/nitrox	Wed Jul 13 22:16:19 2011 +0200
+++ b/src/HOL/Tools/Nitpick/lib/Tools/nitrox	Wed Jul 13 22:16:19 2011 +0200
@@ -20,7 +20,7 @@
 
 for FILE in "$@"
 do
-  (echo "theory Nitrox_Run imports Main begin" &&
-   echo "ML {* Nitrox.pick_nits_in_fof_file \"$FILE\" *}" &&
-   echo "end;") | isabelle tty
+  echo "theory Scratch imports \"Nitpick\" begin ML {* Nitrox.pick_nits_in_fof_file \"$FILE\" *} end;" \
+    > /tmp/$ISABELLE_TMP/Scratch.thy
+  $ISABELLE_PROCESS -e "use_thy \"/tmp/$ISABELLE_TMP/Scratch\"; exit 1;"
 done