Home
last modified time | relevance | path

Searched refs:Run_CMD (Results 1 – 1 of 1) sorted by relevance

/petsc/lib/petsc/bin/maint/
H A Drunjobs.py58 Run_CMD = '# ' + ' '.join(sys.argv) + '\n' variable
95 fd.write(Run_CMD)