# HG changeset patch
# User wenzelm
# Date 1451853117 -3600
# Node ID 1ae53588dcbb6237faa785790c0485f8771c4b05
# Parent  2c9f68fbf047fa898014c73e31eaa3c682fc0d86
proper treatment of RAW bootstrap session;

diff -r 2c9f68fbf047 -r 1ae53588dcbb lib/Tools/console
--- a/lib/Tools/console	Sun Jan 03 17:19:47 2016 +0100
+++ b/lib/Tools/console	Sun Jan 03 21:31:57 2016 +0100
@@ -44,7 +44,7 @@
 
 # options
 
-declare -a ISABELLE_OPTIONS=(-m ASCII)
+declare -a ISABELLE_OPTIONS=()
 
 declare -a INCLUDE_DIRS=()
 LOGIC="$ISABELLE_LOGIC"
@@ -104,6 +104,11 @@
   exit "$?"
 }
 
+if [ "$LOGIC" != "RAW" ]; then
+  ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="-m"
+  ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="ASCII"
+fi
+
 ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="-O"
 ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="$OPTIONS_FILE"