diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure index 6081b3b064..029f2c8f01 100755 --- a/configure +++ b/configure @@ -1056,10 +1056,10 @@ while test $# -gt 0; do done # Add the default directories. -sysnames="$names sysdeps/generic sysdeps/stub" +sysnames="$names sysdeps/generic" # The other names were emitted during the scan. -echo "$ac_t""sysdeps/generic sysdeps/stub" 1>&6 +echo "$ac_t""sysdeps/generic" 1>&6 ### Locate tools. |