diff options
author | Karel Kočí <kocikare@fel.cvut.cz> | 2015-08-11 19:19:30 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-08-12 10:22:55 +0200 |
commit | e4c7d71976be006f1edfaa5ee3ad7619c9a77bba (patch) | |
tree | 600d988d91a8a6bd7d0371f25fb68f8678b39095 /conf.py | |
parent | 21195308311758b0725773e0a19d1e0edd176c8f (diff) | |
download | linux-conf-perf-e4c7d71976be006f1edfaa5ee3ad7619c9a77bba.tar.gz linux-conf-perf-e4c7d71976be006f1edfaa5ee3ad7619c9a77bba.tar.bz2 linux-conf-perf-e4c7d71976be006f1edfaa5ee3ad7619c9a77bba.zip |
Add parse_script
Parsing maximal value from first thread as result.
Diffstat (limited to 'conf.py')
-rw-r--r-- | conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -29,7 +29,7 @@ boot_command = ['./boot_script'] # parse_command # Command to parse double value from boot output -parse_command = ['echo', '0'] +parse_command = ['./parse_script'] # picosat_args # Additional arguments passed to PicoSAT. |