diff options
author | Karel Kočí <cynerd@email.cz> | 2015-09-22 12:56:30 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-09-22 12:56:30 +0200 |
commit | 4951437ddfa91726acf9610953a072cc2e56c8e1 (patch) | |
tree | 3f4f8b693ae0f94bc36f02bbfa4f9a196f5bd1fb /conf.py | |
parent | ad69a15e5d7d8f332823f445b721c5cb9acdfbd9 (diff) | |
download | linux-conf-perf-4951437ddfa91726acf9610953a072cc2e56c8e1.tar.gz linux-conf-perf-4951437ddfa91726acf9610953a072cc2e56c8e1.tar.bz2 linux-conf-perf-4951437ddfa91726acf9610953a072cc2e56c8e1.zip |
Execute checkmeasure only once
Diffstat (limited to 'conf.py')
-rw-r--r-- | conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -101,6 +101,7 @@ measure_file = build_folder + 'measure' dot_measure_file = build_folder + 'dot_measure' dot_config_back_file = build_folder + 'dot_config_back' single_generated_file = build_folder + 'single_generated' +measurechecked_file = build_folder + 'measurechecked' result_folder = 'result/' log_folder = 'log/' |