diff options
| author | Jim Blandy | 1993-05-26 21:34:10 +0000 |
|---|---|---|
| committer | Jim Blandy | 1993-05-26 21:34:10 +0000 |
| commit | 334e7c2394e07a0c8f340d3c25ca00f07c46ece5 (patch) | |
| tree | 532e7de14ce934cdcc1e94ff75c95d406b786d10 | |
| parent | 199dd758a35083df49cca955a55b803c43149362 (diff) | |
| download | emacs-334e7c2394e07a0c8f340d3c25ca00f07c46ece5.tar.gz emacs-334e7c2394e07a0c8f340d3c25ca00f07c46ece5.zip | |
* config.guess: New file.
* configure.in: Use it, tentatively.
| -rwxr-xr-x | configure1.in | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/configure1.in b/configure1.in index b949da92abf..be1dbb6aa78 100755 --- a/configure1.in +++ b/configure1.in | |||
| @@ -273,12 +273,18 @@ Set it to either \`yes' or \`no'." | |||
| 273 | done | 273 | done |
| 274 | 274 | ||
| 275 | if [ "${configuration}" = "" ]; then | 275 | if [ "${configuration}" = "" ]; then |
| 276 | (echo "${progname}: You must specify a configuration name as an argument." | 276 | echo '- You did not tell me what kind of host system you want to configure. |
| 277 | echo "${short_usage}") >&2 | 277 | - I will attempt to guess the kind of system this is.' 1>&2 |
| 278 | exit 1 | 278 | guesssys=`echo ${progname} | sed 's/configure$/config.guess/'` |
| 279 | if configuration=`${guesssys}` ; then | ||
| 280 | echo "- Looks like this is a ${configuration}" 1>&2 | ||
| 281 | else | ||
| 282 | echo '- Failed to guess the system type. You need to tell me.' 1>&2 | ||
| 283 | echo "${short_usage}") >&2 | ||
| 284 | exit 1 | ||
| 285 | fi | ||
| 279 | fi | 286 | fi |
| 280 | 287 | ||
| 281 | |||
| 282 | #### Decide where the source is. | 288 | #### Decide where the source is. |
| 283 | case "${srcdir}" in | 289 | case "${srcdir}" in |
| 284 | 290 | ||