Gitlab will migrate to a new storage backend starting 0300 UTC on 2020-04-04. We do not anticipate a maintenance window for this migration. Performance may be impacted over the weekend. Thanks for your patience.

Commit 2f3f765f authored by Daniel Brown's avatar Daniel Brown

Merge branch 'develop' of git.ligo.org:finesse/finesse into develop

parents 81bdd849 20461223
......@@ -5101,7 +5101,7 @@ void x12_out(void) {
// creating python file and calling python!
if (inter.num_pyterm_cmds != NO_PYTERM && !options.test) {
if (inter.num_pyterm_cmds != NO_PYTERM && !options.test && !inter.noxaxis) {
#if defined(OSWIN) && !defined(__CYGWIN__)
wchar_t wargs[LINE_LEN] = {0};
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment