diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1996-08-13 18:10:31 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1996-08-13 18:10:31 +0000 |
| commit | 94d2a5e5906e540b5bf72211772f10a4ea3a5744 (patch) | |
| tree | ac75f174b0d472f7d1c687c64100e855b41ae59f | |
| parent | 9bcf73b12b79ee9c321a27338677942f6faa05d5 (diff) | |
*** empty log message ***
| -rw-r--r-- | configure.in | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/configure.in b/configure.in index 1492baca..2546be9b 100644 --- a/configure.in +++ b/configure.in @@ -1,13 +1,10 @@ dnl Process this file with autoconf to produce a configure script. -AC_REVISION([$Id: configure.in,v 1.6 1996/08/08 18:54:32 thomas Exp $]) +AC_REVISION([$Id: configure.in,v 1.7 1996/08/13 18:10:06 thomas Exp $]) AC_PREREQ(2.4) dnl Minimum Autoconf version required. AC_INIT(hurd/hurd_types.h) dnl A distinctive file to look for in srcdir. AC_PREFIX_DEFAULT() dnl Default to empty prefix, not /usr/local. -test "x$install_prefix" = xNONE && install_prefix='$prefix' -AC_SUBST(install_prefix) - AC_CANONICAL_HOST case "$host_os" in gnu*) ;; |