This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug gdb/14678] GDB 7.5 fails to build unless makeinfo is installed
- From: "psmith at gnu dot org" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Tue, 22 Aug 2017 19:42:23 +0000
- Subject: [Bug gdb/14678] GDB 7.5 fails to build unless makeinfo is installed
- Auto-submitted: auto-generated
- References: <bug-14678-4717@http.sourceware.org/bugzilla/>
https://sourceware.org/bugzilla/show_bug.cgi?id=14678
--- Comment #6 from psmith at gnu dot org ---
Oops sorry; I dpn't have much to add beyond what Aaro said: you need to run
"make install" to see the issue. Cheers!
--
You are receiving this mail because:
You are on the CC list for the bug.