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 /scripts/write_config | |
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.
Diffstat (limited to 'scripts/write_config')
0 files changed, 0 insertions, 0 deletions