diff --git a/tools/heimdal-build.sh b/tools/heimdal-build.sh index dbe256b7d..6a9a6b673 100644 --- a/tools/heimdal-build.sh +++ b/tools/heimdal-build.sh @@ -46,6 +46,7 @@ hversion= cvsroot= cvsflags= autotools=no +distcheck=no while true do @@ -85,6 +86,10 @@ do hversion="heimdal-$2" shift 2 ;; + --distcheck) + distcheck=yes + shift 2 + ;; --result-directory) resultdir="$2" if [ ! -d "$resultdir" ]; then @@ -243,6 +248,15 @@ if [ $? != 0 ] ; then echo Make check failed status=${status:-make check} fi + +if [ "$distcheck" = yes ] ; then + echo make distcheck >> ab.txt + if [ $? != 0 ] ; then + echo Make check failed + status=${status:-make distcheck} + fi +fi + status=${status:-ok} echo "done: ${status}"