diff options
| author | jjako <jjako> | 2004-09-10 17:19:31 +0000 |
|---|---|---|
| committer | jjako <jjako> | 2004-09-10 17:19:31 +0000 |
| commit | 77edc82781d33489d35058beda6912c758cc5574 (patch) | |
| tree | 0c57ee7e6b21d451f20384800c6bc8040c64e022 /doc | |
| parent | 73c46b17ba1b922cfc2eb0d82303af04c09836f2 (diff) | |
Improved configure script under Solaris
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in index e050470..d334fdd 100644 --- a/doc/Makefile.in +++ b/doc/Makefile.in @@ -59,8 +59,12 @@ POST_INSTALL = : NORMAL_UNINSTALL = : PRE_UNINSTALL = : POST_UNINSTALL = : +build_alias = @build_alias@ +build_triplet = @build@ host_alias = @host_alias@ host_triplet = @host@ +target_alias = @target_alias@ +target_triplet = @target@ EXEEXT = @EXEEXT@ OBJEXT = @OBJEXT@ |