diff options
| -rw-r--r-- | .Sanitize | 1 | ||||
| -rw-r--r-- | configure.in | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/.Sanitize b/.Sanitize index 8bbd7b66d2b..ef647f80e09 100644 --- a/.Sanitize +++ b/.Sanitize @@ -59,6 +59,7 @@ cvs deja-gnu dejagnu diff +dosrel dvips emacs etc diff --git a/configure.in b/configure.in index 93474460d31..dfdb9394554 100644 --- a/configure.in +++ b/configure.in @@ -220,7 +220,9 @@ case "${target}" in ;; i[34]86-*-go32) # add the go32 support tools to the list + # but don't build gdb configdirs=`echo go32 ${configdirs}` + noconfigdis="$noconfigdirs gdb" ;; i[34]86-*-sco*) noconfigdirs="$noconfigdirs gprof" |