diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-13 15:53:06 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-13 15:53:06 +0200 |
| commit | b6abf4e8fe0c3b40305dfdd0410abfbf3c804874 (patch) | |
| tree | 0e63a8695c793e79ba1b64b6674002c02f514040 /scripts/configurations.py | |
| parent | a8c91e078ccb3780a53748cc52b7974bfc65b636 (diff) | |
| parent | 72316e351df5159384d70faa708224ff2fcc8dd2 (diff) | |
| download | linux-conf-perf-b6abf4e8fe0c3b40305dfdd0410abfbf3c804874.tar.gz linux-conf-perf-b6abf4e8fe0c3b40305dfdd0410abfbf3c804874.tar.bz2 linux-conf-perf-b6abf4e8fe0c3b40305dfdd0410abfbf3c804874.zip | |
Merge branch 'measuring'
Removing measuring branch. Idea was to make measuring configuration
separate from master. But keeping changes in master and measuring
branch consistent was pain.
Diffstat (limited to 'scripts/configurations.py')
| -rw-r--r-- | scripts/configurations.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/configurations.py b/scripts/configurations.py index aef8a5f..3f2d15e 100644 --- a/scripts/configurations.py +++ b/scripts/configurations.py @@ -180,7 +180,6 @@ def __generate_single__(var_num, conf_num): for con in confs: __register_conf__(con, conf_num, 'single-sat') except exceptions.NoSolution: - os.remove(tfile) return __generate_single__(var_num, conf_num) finally: os.remove(tfile) |