diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-26 09:53:25 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-26 10:13:40 +0200 |
| commit | 0688647f2f69d1bee1ecc76338190e6a12209da5 (patch) | |
| tree | b92d6dce0f36c637b071a0f4fe957e724d330d66 /scripts/picosat-959/configure | |
| parent | aa7d9d6d93c1489e3136f8ad2fb88d32f16a2496 (diff) | |
| download | linux-conf-perf-0688647f2f69d1bee1ecc76338190e6a12209da5.tar.gz linux-conf-perf-0688647f2f69d1bee1ecc76338190e6a12209da5.tar.bz2 linux-conf-perf-0688647f2f69d1bee1ecc76338190e6a12209da5.zip | |
Add dependency to .conf.mk on .target in Makefile
If .target file is changed (=target changed), makefile configuration
should been regenerated.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions