diff --git a/tools/Python/mcrun/mcrun.py b/tools/Python/mcrun/mcrun.py index 0bcc3227a..dd0ad7fe7 100644 --- a/tools/Python/mcrun/mcrun.py +++ b/tools/Python/mcrun/mcrun.py @@ -553,6 +553,10 @@ def main(): if isdir(options.dir): LOG.info('Placing instr file copy %s in dataset %s', options.instr, options.dir) copyfile(options.instr, join(options.dir, basename(options.instr))) + cfile = os.path.splitext(options.instr)[0] + ".c" + if os.path.exists(cfile): + LOG.info('Placing generated c-code copy %s in dataset %s', cfile, options.dir) + copyfile(cfile, join(options.dir, basename(cfile))) if options.autoplot is not None: autoplotter = mccode_config.configuration['MCPLOT']