diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-19 14:58:36 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-19 16:56:54 +0200 |
| commit | d64eca6379dda83560044b5d949d60b54b908411 (patch) | |
| tree | 5edf7d39efff2da7f7db6c8d2b49a3bcab8336df /scripts/picosat-959/.gitignore | |
| parent | 102188ea18cc440e11a122a3286237026c4cad23 (diff) | |
| download | linux-conf-perf-d64eca6379dda83560044b5d949d60b54b908411.tar.gz linux-conf-perf-d64eca6379dda83560044b5d949d60b54b908411.tar.bz2 linux-conf-perf-d64eca6379dda83560044b5d949d60b54b908411.zip | |
Added dirty repository check
Test run and initialization now shows warning about dirty repository
and loop can't be executed if linux or root repository is dirty.
Diffstat (limited to 'scripts/picosat-959/.gitignore')
0 files changed, 0 insertions, 0 deletions