diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-09-14 11:50:22 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-09-14 11:50:22 +0200 |
| commit | 5d5df1d903e952ada7dbad726431b0cc25e8f5a8 (patch) | |
| tree | 10800ce54dc69b67025c507d5e051ffc8f0bf7ba | |
| parent | 4ad66ffc6510e66062aa3f6523e51082ef39ce51 (diff) | |
| download | linux-conf-perf-5d5df1d903e952ada7dbad726431b0cc25e8f5a8.tar.gz linux-conf-perf-5d5df1d903e952ada7dbad726431b0cc25e8f5a8.tar.bz2 linux-conf-perf-5d5df1d903e952ada7dbad726431b0cc25e8f5a8.zip | |
Export int values to conf.mk
Generated configuration file for makefile did not contain int values.
But they were used. This is new feature but also fix.
| -rwxr-xr-x | scripts/confmk.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/confmk.py b/scripts/confmk.py index 3a59510..d1af0bf 100755 --- a/scripts/confmk.py +++ b/scripts/confmk.py @@ -18,6 +18,9 @@ def gen_confmk(): if type(val) is str: f.write("CONF_" + var.upper() + " := ") f.write(val + '\n') + elif type(val) is int: + f.write("CONF_" + var.upper() + " := ") + f.write(str(val) + '\n') ################################################################################# |