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?= <l.illanes@gmx.de>
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.

---
 build.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'build.sh')

diff --git a/build.sh b/build.sh
index 26879b1f..db7c9cd0 100755
--- a/build.sh
+++ b/build.sh
@@ -8,6 +8,7 @@ while [ ${#} -gt 0 ]; do
 case ${1} in
 -c)	ARG_CLEAN=1; ;;
 -nd)	ARG_NO_DOWNLOAD=1; ;;
+-pt)	ARG_PEDANTIC=1; ;;
 -r)	[ -n "${ARG_RESTART_SCRIPT}" ] && exec cat build.usage;
 	match_any "${2}" :								\
 		&& { ARG_RESTART_SCRIPT="${2%%:*}"; ARG_RESTART_SCRIPT_AT="${2##*:}"; }	\
-- 
cgit v1.2.3