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