Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
QND_FLAG is a shell variable, not a string
authorhaftmann
Fri, 03 Sep 2010 16:08:09 +0200
changeset 39121 6f6a9c8abbac
parent 39104 7430f17fd80e
child 39122 91d2a9844d57
QND_FLAG is a shell variable, not a string
src/Tools/Code/lib/Tools/codegen file | annotate | diff | comparison | revisions 
--- a/src/Tools/Code/lib/Tools/codegen	Fri Sep 03 08:13:28 2010 +0200
+++ b/src/Tools/Code/lib/Tools/codegen	Fri Sep 03 16:08:09 2010 +0200
@@ -60,6 +60,6 @@
 
 CTXT_CMD="ML_Context.eval_text_in (SOME (ProofContext.init_global (Thy_Info.get_theory \"HOL\"))) false Position.none \"Code_Target.shell_command thyname cmd\";"
 
-FULL_CMD="quick_and_dirty := QND_FLAG; val thyname = \"$THY\"; val cmd = \"$CODE_CMD\"; $CTXT_CMD"
+FULL_CMD="quick_and_dirty := $QND_FLAG; val thyname = \"$THY\"; val cmd = \"$CODE_CMD\"; $CTXT_CMD"
 
 "$ISABELLE_PROCESS" -q -e "$FULL_CMD" "$IMAGE" || exit 1
isabelle