aboutsummaryrefslogtreecommitdiff
path: root/usr.sbin/config/main.c
diff options
context:
space:
mode:
authorGreg Lehey <grog@FreeBSD.org>1999-04-07 09:28:03 +0000
committerGreg Lehey <grog@FreeBSD.org>1999-04-07 09:28:03 +0000
commit2005b07aa88ae556f7268c6c6cbe5513c01d28d7 (patch)
treeef88552a269696765f157bcd159d624e724c1144 /usr.sbin/config/main.c
parentaae211bc7efadbb7fc97f5a78a8b5640a2f72e16 (diff)
downloadsrc-2005b07aa88ae556f7268c6c6cbe5513c01d28d7.tar.gz
src-2005b07aa88ae556f7268c6c6cbe5513c01d28d7.zip
1. Modify config to issue different code for debugging.
2. Config complains if you use -g: Debugging is enabled by default, there is no ned to specify the -g option 3. Config warns you if you don't use -s: Building kernel with full debugging symbols. Do "config -s BSD" for historic partial symbolic support. To install the debugging kernel, do make install.debug (BSD was the name of the config file I used; I print out the same name). 4. Modify Makefile.i386, Makefile.alpha, Makefile.pc98 and config to work if a kernel name other than 'kernel' is specified. This is not absolutely necessary, but useful, and it was relatively easy. I now have a kernel called /crapshit :-) 5. Modify Makefile.i386, Makefile.alpha, Makefile.pc98 "clean" target to remove both the debug and normal kernel. 6. Modify all to install the stripped kernel by default and the debug kernel if you enter "make install.debug". 7. Update version number of Makefiles and config.
Notes
Notes: svn path=/head/; revision=45424
Diffstat (limited to 'usr.sbin/config/main.c')
-rw-r--r--usr.sbin/config/main.c20
1 files changed, 17 insertions, 3 deletions
diff --git a/usr.sbin/config/main.c b/usr.sbin/config/main.c
index 0c0535882f41..1e5ae7383bdb 100644
--- a/usr.sbin/config/main.c
+++ b/usr.sbin/config/main.c
@@ -42,7 +42,7 @@ static const char copyright[] =
static char sccsid[] = "@(#)main.c 8.1 (Berkeley) 6/6/93";
#endif
static const char rcsid[] =
- "$Id: main.c,v 1.25 1998/06/09 14:02:03 dfr Exp $";
+ "$Id: main.c,v 1.26 1998/12/10 02:35:55 archie Exp $";
#endif /* not lint */
#include <sys/types.h>
@@ -86,10 +86,13 @@ main(argc, argv)
int ch;
char *p;
- while ((ch = getopt(argc, argv, "gprn")) != -1)
+ debugging = 1; /* on by default */
+ while ((ch = getopt(argc, argv, "gprns")) != -1)
switch (ch) {
case 'g':
- debugging++;
+ fprintf(stderr,
+ "Debugging is enabled by default, there is "
+ "no need to specify the -g option\n" );
break;
case 'p':
profiling++;
@@ -102,6 +105,9 @@ main(argc, argv)
case 'r':
no_config_clobber = FALSE;
break;
+ case 's':
+ debugging = 0;
+ break;
case '?':
default:
usage();
@@ -112,6 +118,14 @@ main(argc, argv)
if (argc != 1)
usage();
+ if (debugging)
+ printf("Building kernel with full debugging symbols. Do\n"
+ "\"config -s %s\" "
+ "for historic partial symbolic support.\n"
+ "To install the debugging kernel, do "
+ "make install.debug\n",
+ argv [0] );
+
if (freopen(PREFIX = *argv, "r", stdin) == NULL)
err(2, "%s", PREFIX);