diff --git a/website-build/Makefile.am b/website-build/Makefile.am index 51879e2..62a001a 100644 --- a/website-build/Makefile.am +++ b/website-build/Makefile.am @@ -49,21 +49,32 @@ build: endif if WANT_GUIX -check: website.tar.gz +check: build website.tar.gz + rm -rf site/ + mkdir -p site/software/gnuboot/ + tar xf website.tar.gz -C site/software/gnuboot/ + guix shell \ --container \ --network \ --emulate-fhs \ bash \ coreutils \ + findutils \ grep \ gzip \ + sed \ tar \ -- \ + ./check.sh --directory site && \ ./check.sh --tarball website.tar.gz else -check: website.tar.gz - ./check.sh --tarball website.tar.gz +check: build website.tar.gz + rm -rf site/ + mkdir -p site/software/gnuboot/ + tar xf website.tar.gz -C site/software/gnuboot/ + ./check.sh --directory site + ./check.sh --tarball website.tar.gz endif help: diff --git a/website-build/check.sh b/website-build/check.sh index 363dd43..c0fb90a 100755 --- a/website-build/check.sh +++ b/website-build/check.sh @@ -23,16 +23,36 @@ usage() { progname="$1" - echo "Usage: ${progname} [options]" + echo "Usage: ${progname}