- 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.

1 files changed, 1 insertions, 0 deletions

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##*:}"; }	\