if [ "$enable_gdbtk" != "no" ]; then
GDB_TK="all-tcl all-tk all-itcl all-tix all-libgui"
# start-sanitize-ide
- GDB_TK="all-tcl all-tk all-itcl all-tix all-libgui all-libide"
+ if [ "$enable_ide" != "no" ]; then
+ GDB_TK="all-tcl all-tk all-itcl all-tix all-libgui all-libide"
+ fi
# end-sanitize-ide
else
GDB_TK=""