Has gdb been disconnected from make installworld?

From: Trond Endrestøl <Trond.Endrestol_at_fagskolen.gjovik.no>
Date: Sun, 25 Jun 2017 20:55:12 +0200 (CEST)
I was at bit surprised to see gdb missing from /usr/bin this evening. 
The executables are still being built in /usr/obj/usr/src/gnu/usr.bin/gdb.

This is on base/head r320329.

Do we need to add WITH_GDB=yes to our src.conf files?

-- 
+-------------------------------+------------------------------------+
| Vennlig hilsen,               | Best regards,                      |
| Trond Endrestøl,              | Trond Endrestøl,                   |
| IT-ansvarlig,                 | System administrator,              |
| Fagskolen Innlandet,          | Gjøvik Technical College, Norway,  |
| tlf. mob.   952 62 567,       | Cellular...: +47 952 62 567,       |
| sentralbord 61 14 54 00.      | Switchboard: +47 61 14 54 00.      |
+-------------------------------+------------------------------------+
Received on Sun Jun 25 2017 - 16:55:20 UTC

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:12 UTC