diff options
Diffstat (limited to 'ci/run.sh')
-rwxr-xr-x | ci/run.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/ci/run.sh b/ci/run.sh new file mode 100755 index 00000000..87d95618 --- /dev/null +++ b/ci/run.sh @@ -0,0 +1,21 @@ +#!/bin/sh +# Copyright (C) 2019 all contributors <meta@public-inbox.org> +# License: AGPL-3.0+ <https://www.gnu.org/licenses/agpl-3.0.txt> +set -e +SUDO=${SUDO-'sudo'} PERL=${PERL-'perl'} MAKE=${MAKE-'make'} +DO=${DO-''} + +set -x +if test -f Makefile +then + $DO $MAKE clean +fi + +./ci/profiles.sh | while read args +do + $DO $SUDO $PERL -w ci/deps.perl $args + $DO $PERL Makefile.PL + $DO $MAKE + $DO $MAKE check + $DO $MAKE clean +done |