diff options
| author | Angela Marie Thomas <angela@cygnus> | 1998-09-30 00:12:30 +0000 |
|---|---|---|
| committer | Angela Marie Thomas <angela@cygnus> | 1998-09-30 00:12:30 +0000 |
| commit | b88388f236da0378dfb3326b55db81cd9a1f7306 (patch) | |
| tree | 0e7f89a364f05509eb9226d2cf7e6bad48b08d92 | |
| parent | 761e334a183c4276153c209718f840dbb9ac2e0a (diff) | |
| download | gdb-b88388f236da0378dfb3326b55db81cd9a1f7306.zip gdb-b88388f236da0378dfb3326b55db81cd9a1f7306.tar.gz gdb-b88388f236da0378dfb3326b55db81cd9a1f7306.tar.bz2 | |
add sanitization for special sky config args
| -rwxr-xr-x | gdb/configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/configure b/gdb/configure index 0fcdd38..424ef42 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" |