src/main.bash: new command: distcheck

diff --git a/src/main.bash b/src/main.bash
index b59aa3c0d021e2b1d06ab5ccc1b855a196aab194..4e87e8cf8b5e8987ea7b15b0dc6a7208248a014b 100644 (file)
--- a/src/main.bash
+++ b/src/main.bash
@@ -44,6 +44,11 @@ function dist () {
     runMake -C "_build" dist
 }
 
+function distcheck () {
+    configure
+    runMake -C "_build" distcheck
+}
+
 function install () {
     build
     runMake -C "_build" install "$0"
@@ -64,6 +69,7 @@ Commands:
     configure      run autoreconf(1) and "./configure" if necessary.
     clean          run "rm -rf _build"
     dist           run "make dist"
+    distcheck      run "$0 configure" then "make distcheck"
     doc            similar to "$0 build" but only build the documentation.
     install [ARG]  run "$0 build" then "make install [ARG]".
 
@@ -82,6 +88,7 @@ function main () {
         "check"    ) cmd="check"    ;;
         "clean"    ) cmd="clean"    ;;
         "dist"     ) cmd="dist"     ;;
+        "distcheck") cmd="distcheck";;
         "install"  ) cmd="install"  ;;
         *)           cmd="usage"    ;;
     esac