diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-12 16:41:59 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-13 10:13:43 +0200 |
| commit | 3ee62e5d11b8516bda319e6e427e35dd4509f6b1 (patch) | |
| tree | b5824cad7f887efb517251b4bd285f3ef498cb06 | |
| parent | df5b3585299628def438de1b7569b0677491ea34 (diff) | |
| download | linux-conf-perf-3ee62e5d11b8516bda319e6e427e35dd4509f6b1.tar.gz linux-conf-perf-3ee62e5d11b8516bda319e6e427e35dd4509f6b1.tar.bz2 linux-conf-perf-3ee62e5d11b8516bda319e6e427e35dd4509f6b1.zip | |
Fix problem with wrongly printed first line in CNF file
| -rw-r--r-- | scripts/configurations.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/configurations.py b/scripts/configurations.py index 2909578..e3a7d0b 100644 --- a/scripts/configurations.py +++ b/scripts/configurations.py @@ -206,8 +206,8 @@ def generate(): # Load variable count with open(sf(conf.variable_count_file)) as f: - var_num = f.readline() - conf_num = f.readline() + var_num = f.readline().rstrip() + conf_num = f.readline().rstrip() if __generate_single__(var_num, conf_num): return |