diff options
author | Lucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de> | 2016-03-02 12:44:33 +0100 |
---|---|---|
committer | Lucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de> | 2016-03-02 12:44:33 +0100 |
commit | d824e1e651835014ce7c5d9b0c21f7bc403d5646 (patch) | |
tree | cab5a84dbd39e4c50f6190f67661d26af2c29edf /.gitignore | |
parent | 0fdea6e043b65b79add983ab6b196b479c768e3d (diff) | |
download | midipix_build-d824e1e651835014ce7c5d9b0c21f7bc403d5646.tar.bz2 midipix_build-d824e1e651835014ce7c5d9b0c21f7bc403d5646.tar.xz |
- Emit warnings whenever a potentially dangerous operation is invoked by the build scripts.
Currently, this only includes rm_if_exists().
- Adds pedantic mode (-pt,) which additionally adds manual confirmation of each potentially
dangerous operation.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,2 +1,3 @@ build.log *.sw[op] +TODO |