diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-05-15 01:38:34 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-05-15 01:38:34 +0200 |
| commit | f9bd4784d55c6e2afe4c102a1212a7661ac0ef80 (patch) | |
| tree | fa2140a1147e6805f502f41ffcf06a860f807feb /scripts/shared | |
| parent | 2e9ef6384bf9a9b599a5f7438d8772fcbccb760f (diff) | |
| download | linux-conf-perf-f9bd4784d55c6e2afe4c102a1212a7661ac0ef80.tar.gz linux-conf-perf-f9bd4784d55c6e2afe4c102a1212a7661ac0ef80.tar.bz2 linux-conf-perf-f9bd4784d55c6e2afe4c102a1212a7661ac0ef80.zip | |
Rewrite write_config solution check and fix apply
solution.apply failed in case of last solution.
Diffstat (limited to 'scripts/shared')
| -rw-r--r-- | scripts/shared/build_files.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/shared/build_files.h b/scripts/shared/build_files.h index 9907309..948ebce 100644 --- a/scripts/shared/build_files.h +++ b/scripts/shared/build_files.h @@ -2,4 +2,5 @@ #define DEFAULT_VARIABLE_COUNT_FILE "variable_count" #define DEFAULT_SYMBOL_MAP_FILE "symbol_map" #define DEFAULT_DEF_CONFIG_FILE "def_config" -#define DEFAULT_SOLUTION_FILE "solution" +#define DEFAULT_CONFIG_MAP_FILE "config_map" +#define DEFAULT_CONFIG_SOLVED_FILE "config_solved" |