diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-22 11:12:24 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-22 11:12:24 +0200 |
| commit | 17cb74bcb4583921abc32ddbe2991f27ae816707 (patch) | |
| tree | bb637cd909590eadb2d549fe7449d0dc36dcfc3a /scripts/picosat-959/configure | |
| parent | 165f6b3988a74bf3b02505fc49c64dfefb693adb (diff) | |
| download | linux-conf-perf-17cb74bcb4583921abc32ddbe2991f27ae816707.tar.gz linux-conf-perf-17cb74bcb4583921abc32ddbe2991f27ae816707.tar.bz2 linux-conf-perf-17cb74bcb4583921abc32ddbe2991f27ae816707.zip | |
Makefile configuration is now automatically generated and more changes
Makefile configuration file is now generated automatically and contains all
string config options.
Separated tables drop from databaseinit.sql to file databaseclean.sql.
Also add clean and init target for database.
For this reason is also separated output and result from normal clean.
From now on won't be results removed on standard clean.
ARCH config variable is renamed to kernel_arch to make name more clear.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions