diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1996-08-08 18:54:36 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1996-08-08 18:54:36 +0000 |
| commit | 0512f4f1bf65799408fcb0df596d5226f95b9445 (patch) | |
| tree | c0e7f0be266a0a1f5105ffa5abd89da517da6fc8 | |
| parent | 23f405001b6d3dff8607115c5d731126c54f4b9e (diff) | |
*** empty log message ***
| -rw-r--r-- | configure.in | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure.in b/configure.in index 01c41005..1492baca 100644 --- a/configure.in +++ b/configure.in @@ -1,10 +1,13 @@ dnl Process this file with autoconf to produce a configure script. -AC_REVISION([$Id: configure.in,v 1.5 1996/05/01 02:19:03 roland Exp $]) +AC_REVISION([$Id: configure.in,v 1.6 1996/08/08 18:54:32 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*) ;; |