removed obsolete setting tweaks: build -s already sets output correctly
authorkrauss
Wed Dec 19 12:12:32 2012 +0100 (2012-12-19)
changeset 50597e57ed50f6bf5
parent 50596 e526ac54316d
child 50598 b4d62535f5cd
removed obsolete setting tweaks: build -s already sets output correctly
Admin/mira.py
     1.1 --- a/Admin/mira.py	Wed Dec 19 11:13:37 2012 +0100
     1.2 +++ b/Admin/mira.py	Wed Dec 19 12:12:32 2012 +0100
     1.3 @@ -23,9 +23,6 @@
     1.4      # patch settings
     1.5      extra_settings = '''
     1.6  ISABELLE_HOME_USER="$ISABELLE_HOME/home_user"
     1.7 -ISABELLE_OUTPUT="$ISABELLE_HOME/heaps"
     1.8 -ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info"
     1.9 -ISABELLE_PATH="$ISABELLE_OUTPUT"
    1.10  
    1.11  Z3_NON_COMMERCIAL="yes"
    1.12