add sanitization for special sky config args

diff --git a/gdb/configure b/gdb/configure
index 0fcdd384ee22d77d79a9bde1657cabbe604ebc0f..424ef4252726677466794d82d789dfec6eefd438 100755 (executable)
--- 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"