From 7dedf09f3d0742d75ccc16c875953a11277b2c8f Mon Sep 17 00:00:00 2001 From: Gunnar Beutner Date: Mon, 31 May 2021 00:27:22 +0200 Subject: [PATCH] Toolchain: Remove dependency check for texinfo Turns out we don't need that after all. --- Toolchain/BuildIt.sh | 6 ------ 1 file changed, 6 deletions(-) diff --git a/Toolchain/BuildIt.sh b/Toolchain/BuildIt.sh index 47eac0705d8..76c9e056ce1 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() {}