From b88388f236da0378dfb3326b55db81cd9a1f7306 Mon Sep 17 00:00:00 2001 From: Angela Marie Thomas Date: Wed, 30 Sep 1998 00:12:30 +0000 Subject: [PATCH] add sanitization for special sky config args --- gdb/configure | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gdb/configure b/gdb/configure index 0fcdd384ee2..424ef425272 100755 --- a/gdb/configure +++ b/gdb/configure @@ -37,10 +37,12 @@ ac_help="$ac_help --with-tkinclude=DIR Directory where tk private headers are" ac_help="$ac_help --with-x use the X Window System" +# start-sanitize-sky ac_help="$ac_help --with-sim-gpu2=DIR Use GPU2 library under given DIR" ac_help="$ac_help --with-sim-funit=DIR Use target FP lib under given DIR" +# end-sanitize-sky ac_help="$ac_help --enable-shared Use shared libraries" -- 2.30.2