diff options
| author | Sven Gothel <[email protected]> | 2019-08-18 01:46:58 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2019-08-18 01:46:58 +0200 |
| commit | f12fde9dbfc79aa37303c724f094b3cef8a3f989 (patch) | |
| tree | bb52f6e43b51aba6d74b9e582c8578798e508374 /.gitmodules | |
| parent | 15549c5c038e4ef009b9b487e460c29da16c956b (diff) | |
build.xml: Explicitly issue 'clean-temp' at start and in the end of default 'all*' targets.
This shall ensure that build-temp gets deleted before and after build,
removing the transitionary previous build state.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions