diff options
| author | Roland McGrath <roland@gnu.org> | 1995-07-22 10:55:44 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1995-07-22 10:55:44 +0000 |
| commit | 587dbc6fe800892bbeeac210f5c9079a3ef70d8c (patch) | |
| tree | eed43a4478b1664aae57e898f2f766d559d04ad2 /configure.in | |
| parent | 439d1d4560aa3e261c065c43e3995779809b4cb2 (diff) | |
* Makefile (autoconf-it): Make it executable and unwritable.
* configure.in (sysnames): Under --enable-debug-configure, spew
potential sysnames.
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.in b/configure.in index e1e794cce9..a35378ab37 100644 --- a/configure.in +++ b/configure.in @@ -166,6 +166,7 @@ for b in $base ''; do for o in /$ostry ''; do for m in $mach ''; do try="$m0$b$v$o$m" + test -n "$enable_debug_configure" && echo "$0 [DEBUG]: try $try" >&2 if test -d $sysdep_dir$try; then sysnames="$sysnames $try" { test -n "$o" || test -n "$b"; } && os_used=t |