diff options
author | Gunnar Beutner <gbeutner@serenityos.org> | 2021-05-31 00:27:22 +0200 |
---|---|---|
committer | Linus Groh <mail@linusgroh.de> | 2021-05-30 23:36:10 +0100 |
commit | 7dedf09f3d0742d75ccc16c875953a11277b2c8f (patch) | |
tree | f3da82075cbdd32c313cb09aac9162fedd57a296 /Toolchain | |
parent | 597539aa4ce8fbfecf39af1f2f33eba7f6944a61 (diff) | |
download | serenity-7dedf09f3d0742d75ccc16c875953a11277b2c8f.zip |
Toolchain: Remove dependency check for texinfo
Turns out we don't need that after all.
Diffstat (limited to 'Toolchain')
-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() {} |