summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorP. J. McDermott <pjm@nac.net>2013-12-08 01:26:27 (EST)
committer P. J. McDermott <pjm@nac.net>2013-12-08 01:26:27 (EST)
commita629aa2e140debfff95402a17e0f01294cf3dbac (patch)
treefe0b73ac955fda91981e32b7b7b255019511e178
parentee07a74fb646d08ee38dcc36b3b61fec6457081b (diff)
build: Disable makeinfo runs.
-rwxr-xr-xbuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/build b/build
index 3e80050..55e0d95 100755
--- a/build
+++ b/build
@@ -22,7 +22,7 @@ build: configure
touch $@
install: build
- oh-autoinstall -B obj
+ oh-autoinstall -B obj -- MAKEINFO=:
# Remove BFD files.
rm -f \
dest/usr/include/*.h \