summaryrefslogtreecommitdiff
path: root/otp_build
diff options
context:
space:
mode:
Diffstat (limited to 'otp_build')
-rwxr-xr-xotp_build10
1 files changed, 10 insertions, 0 deletions
diff --git a/otp_build b/otp_build
index 5fec5b2551..c9d118c2a4 100755
--- a/otp_build
+++ b/otp_build
@@ -56,6 +56,8 @@ usage ()
echo " release <target_dir> - creates a small release to <target_dir>"
echo " release [-a|-s|-t] <target_dir> - creates full release to <target_dir>"
echo " tests <dir> - Build testsuites to <dir>"
+ echo " check [--help|...] - Perform various build checks. See --help for more info"
+ echo " and options."
echo ""
echo "-a builds all applications"
echo "-s builds a small system (default)"
@@ -998,6 +1000,11 @@ do_tests ()
fi
}
+do_check ()
+{
+ exec $ERL_TOP/scripts/otp_build_check "$@"
+}
+
do_debuginfo_win32 ()
{
setup_make
@@ -1294,6 +1301,9 @@ case "$1" in
echo_env_cross "$2";;
env_bootstrap)
echo_env_bootstrap;;
+ check)
+ shift;
+ do_check "$@";;
*)
usage;;
esac