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/picosat-959/main.c | |
| 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/picosat-959/main.c')
0 files changed, 0 insertions, 0 deletions