aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-07-28 10:31:56 +0200
committerKarel Kočí <cynerd@email.cz>2015-07-28 10:31:56 +0200
commitc7d4caef3787e47baca0c15b949c2a27d990f890 (patch)
tree6cd940c7ab7035aec222f810414b2b65531e0b55 /scripts/picosat-959/configure
parent181fe43c48c7f4c83c617a147769f4c3eba4774c (diff)
downloadlinux-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