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.
more precise "eval", cf. isabelle build;
authorwenzelm
Fri, 17 May 2013 18:50:55 +0200
changeset 52055 10bc73197a57
parent 52054 eaf17514aabd
child 52056 fc458f304f93
more precise "eval", cf. isabelle build;
lib/Tools/options file | annotate | diff | comparison | revisions 
--- a/lib/Tools/options	Fri May 17 18:39:49 2013 +0200
+++ b/lib/Tools/options	Fri May 17 18:50:55 2013 +0200
@@ -34,7 +34,7 @@
 
 ## process command line
 
-eval "declare -a BUILD_OPTIONS=()"
+declare -a BUILD_OPTIONS=()
 LIST_OPTIONS="false"
 EXPORT_FILE=""
 
@@ -42,7 +42,7 @@
 do
   case "$OPT" in
     b)
-      BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)
+      eval "BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)"
       ;;
     l)
       LIST_OPTIONS="true"
isabelle