diff options
Diffstat (limited to 'gdb/configure')
| -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" |