diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-28 10:31:56 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-28 10:31:56 +0200 |
| commit | c7d4caef3787e47baca0c15b949c2a27d990f890 (patch) | |
| tree | 6cd940c7ab7035aec222f810414b2b65531e0b55 /scripts/picosat-959/configure | |
| parent | 181fe43c48c7f4c83c617a147769f4c3eba4774c (diff) | |
| download | linux-conf-perf-c7d4caef3787e47baca0c15b949c2a27d990f890.tar.gz linux-conf-perf-c7d4caef3787e47baca0c15b949c2a27d990f890.tar.bz2 linux-conf-perf-c7d4caef3787e47baca0c15b949c2a27d990f890.zip | |
Change root Makefile
Add check for recursive makefile calls.
Also add removing of dot_config to clean_measure target.
run and initialize now requires all target. This allow dependency on all programs not only selected. This is done for simplification.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions