Searched refs:cmd_echo (Results 1 - 1 of 1) sorted by relevance

/gem5/util/
H A Dcheckpoint-tester.py88 cmd_echo = open(os.path.join(top_dir, 'command'), 'w') variable
89 print >>cmd_echo, ' '.join(sys.argv)
90 cmd_echo.close()

Completed in 2 milliseconds