From 38db6fde0c13e0bb77e877ae591280b3273ea63f Mon Sep 17 00:00:00 2001 From: steve Date: Fri, 11 May 2001 02:10:30 +0000 Subject: [PATCH] Help for enable-vvp-debug --- vvp/configure.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/vvp/configure.in b/vvp/configure.in index d83c5b3b9..f89900b41 100644 --- a/vvp/configure.in +++ b/vvp/configure.in @@ -7,7 +7,8 @@ AC_CHECK_TOOL(STRIP, strip, true) AC_PROG_INSTALL -AC_ARG_ENABLE(vvp-debug, "interactive debugger for VVP runtime.", AC_DEFINE(ENABLE_VVP_DEBUG)) +AC_ARG_ENABLE(vvp-debug, vvp-debug -- interactive debugger for VVP runtime., + AC_DEFINE(ENABLE_VVP_DEBUG)) AC_CHECK_HEADERS(getopt.h)