diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-24 17:43:30 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-24 17:43:30 +0200 |
| commit | bcfac3d31b96eb783667eb6683f953ae808c5ea9 (patch) | |
| tree | 2a56838799c19d791a55a4689e6e595f649ba72a /scripts/picosat-959 | |
| parent | f69c7b92cf776f50e5023db328d3daafbde4db68 (diff) | |
| download | linux-conf-perf-bcfac3d31b96eb783667eb6683f953ae808c5ea9.tar.gz linux-conf-perf-bcfac3d31b96eb783667eb6683f953ae808c5ea9.tar.bz2 linux-conf-perf-bcfac3d31b96eb783667eb6683f953ae808c5ea9.zip | |
Adding targets in root makefile
Part of the initialize target should be also initialization of database.
Target distclean should clean project to state as it is in git repository.
Diffstat (limited to 'scripts/picosat-959')
0 files changed, 0 insertions, 0 deletions