# HG changeset patch
# User blanchet
# Date 1356015084 -3600
# Node ID e928f86473023b3556367acc895bcd9a96955a3e
# Parent  69b22c4398fea1af1b559aebf71c849d5f28eb44# Parent  48c0c3bc40dd8f885d1b60faab4c382ecde42bc2
merge

diff -r 69b22c4398fe -r e928f8647302 Admin/mira.py
--- a/Admin/mira.py	Wed Dec 19 22:44:51 2012 +0100
+++ b/Admin/mira.py	Thu Dec 20 15:51:24 2012 +0100
@@ -122,7 +122,7 @@
     prepare_isabelle_repository(isabelle_home, None, more_settings=more_settings)
     os.chdir(isabelle_home)
 
-    args = (['-o', 'timeout=%s' % timeout] if timeout is not None else []) + cmdargs
+    args = (['-o', 'timeout=%s' % timeout] if timeout is not None else []) + list(cmdargs)
 
     # invoke build tool
     (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'build', '-s', '-v', *args)