From d824e1e651835014ce7c5d9b0c21f7bc403d5646 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz=20=28arab=2C=20vx?= =?UTF-8?q?p=29?= Date: Wed, 2 Mar 2016 12:44:33 +0100 Subject: - 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. --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 5953a191..00b28afd 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ build.log *.sw[op] +TODO -- cgit v1.2.3