# 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)