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 | bc4c0265d666854dce6049932993f0b6ed147924 (patch) | |
| tree | aaab7cb3cd9fc51ab6fb611aca665c469bcb0ca3 /configure.in | |
| parent | fd5a973890a84907571cbc25f6b2a5b342924570 (diff) | |
*** empty log message ***
Diffstat (limited to 'configure.in')
| -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*) ;; |