diff options
| author | Daniil Baturin <daniil@baturin.org> | 2015-04-08 05:29:52 +0200 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2015-04-08 05:29:52 +0200 |
| commit | 76e598700ce4fa64eba251085af7fd85a03bfe6f (patch) | |
| tree | bcc9d626c85e60282ba095c928e87720817ef0b7 /src | |
| parent | 4b97a0e707db50105c20014e40bccdd6bded4221 (diff) | |
| download | hvinfo-76e598700ce4fa64eba251085af7fd85a03bfe6f.tar.gz hvinfo-76e598700ce4fa64eba251085af7fd85a03bfe6f.zip | |
Check if build dir exists before doing gprclean.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions