From 7dedf09f3d0742d75ccc16c875953a11277b2c8f Mon Sep 17 00:00:00 2001 From: Gunnar Beutner Date: Mon, 31 May 2021 00:27:22 +0200 Subject: Toolchain: Remove dependency check for texinfo Turns out we don't need that after all. --- Toolchain/BuildIt.sh | 6 ------ 1 file changed, 6 deletions(-) (limited to 'Toolchain') diff --git a/Toolchain/BuildIt.sh b/Toolchain/BuildIt.sh index 47eac0705d..76c9e056ce 100755 --- a/Toolchain/BuildIt.sh +++ b/Toolchain/BuildIt.sh @@ -104,12 +104,6 @@ if ! command -v patch >/dev/null; then exit 1 fi -buildstep dependencies echo "Checking whether 'makeinfo' is available..." -if ! command -v makeinfo >/dev/null; then - buildstep dependencies echo "Please make sure to install GNU Texinfo (for the 'makeinfo' tool)." - exit 1 -fi - buildstep dependencies echo "Checking whether your C compiler works..." if ! ${CC:-cc} -o /dev/null -xc - >/dev/null <<'PROGRAM' int main() {} -- cgit debian/1.2.3+git2.25.1-1-2-gaceb0