diff options
author | Cem Keylan <cem@ckyln.com> | 2020-12-30 23:04:35 +0300 |
---|---|---|
committer | Cem Keylan <cem@ckyln.com> | 2020-12-30 23:04:35 +0300 |
commit | 6744412abc30bce7162dee23fc3631f95d59609f (patch) | |
tree | 774cf0bed6c8349712ff2978d34f7b224c6441f8 | |
parent | ddf7f955a7ebb1d0e0fc3fa36e79c649d88864b6 (diff) | |
download | repository-6744412abc30bce7162dee23fc3631f95d59609f.tar.gz |
binutils: use makeinfo if we do have it
-rwxr-xr-x | core/binutils/build | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/core/binutils/build b/core/binutils/build index 61c53318..f7e86098 100755 --- a/core/binutils/build +++ b/core/binutils/build @@ -5,13 +5,14 @@ case "$3" in i?86) archopts="--enable-64-bit-bfd" esac -cat > makeinfo <<EOF +command -v makeinfo >/dev/null || { cat > makeinfo <<EOF #!/bin/sh printf 'makeinfo (GNU texinfo) 5.2\n' EOF chmod +x makeinfo export PATH=$PATH:$PWD +} # Word splitting is intentional here. # shellcheck disable=2086 |