diff options
| -rwxr-xr-x | Toolchain/BuildIt.sh | 6 |
1 files changed, 0 insertions, 6 deletions
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() {} |