diff options
author | Karel Kočí <cynerd@email.cz> | 2015-07-24 14:54:00 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-07-24 14:54:00 +0200 |
commit | 2088e7c783964176076f83d8df04dac5adc9781d (patch) | |
tree | bad2ea095a6ec92174816f2d849c6d9b76e1cf9e /scripts/picosat-959/picomcs.c | |
parent | 7f399b7f61097cc8fc8e44f9ee556fcd74a7002f (diff) | |
download | linux-conf-perf-2088e7c783964176076f83d8df04dac5adc9781d.tar.gz linux-conf-perf-2088e7c783964176076f83d8df04dac5adc9781d.tar.bz2 linux-conf-perf-2088e7c783964176076f83d8df04dac5adc9781d.zip |
Rewrite configuration script
THIS MAKES SCRIPT INCONSISTENT AND PROJECT IS NOT WORKING UNTIL OTHER COMMIT MESSAGE SAYS OTHERWISE.
Configurations are now generated to separated folder and have syntax compatible with linux configuration files.
This way applying new configuration is not necessary.
Also script is now communicating with database.
Functions are prepared for multiple different generating possibilities.
Also configuration generation is removed from initialize script.
Diffstat (limited to 'scripts/picosat-959/picomcs.c')
0 files changed, 0 insertions, 0 deletions