diff --git a/build-aux/check-boot.sh b/build-aux/check-boot.sh index d81a450f..700ab03a 100755 --- a/build-aux/check-boot.sh +++ b/build-aux/check-boot.sh @@ -1,7 +1,7 @@ #! /bin/bash # GNU Mes --- Maxwell Equations of Software -# Copyright © 2018,2019 Jan (janneke) Nieuwenhuizen +# Copyright © 2018,2019,2020 Jan (janneke) Nieuwenhuizen # # This file is part of GNU Mes. # @@ -22,7 +22,7 @@ set -e . ./config.sh set -u -TESTS=" +boot_tests=" scaffold/boot/00-zero.scm scaffold/boot/01-true.scm @@ -115,7 +115,9 @@ scaffold/boot/memory.scm scaffold/boot/numbers.scm " -XFAIL_TESTS= +recheck=true +TESTS=${TESTS-$boot_tests} +XFAIL_TESTS=${XFAIL_TESTS-} test_ext=.scm log_compiler="${SHELL} ${srcdest}build-aux/test-boot.sh"