ruby: move all statistics to stats.txt, eliminate ruby.stats
[gem5.git] / util / batch /
drwxr-xr-x   ..
-rw-r--r-- 7895 batch.py
-rwxr-xr-x 7365 job.py
-rwxr-xr-x 9127 send.py