diff options
| author | Glenn Morris | 2018-02-02 20:42:08 -0500 |
|---|---|---|
| committer | Glenn Morris | 2018-02-02 20:42:08 -0500 |
| commit | c532a8015e932fa4bee1ed68ce01b3c0b802d09c (patch) | |
| tree | 123b5f753257cd80c7350bc5a7926265f6ca767b | |
| parent | 83fc9009c62429501e50d7658e0dc00102aafa74 (diff) | |
| download | emacs-c532a8015e932fa4bee1ed68ce01b3c0b802d09c.tar.gz emacs-c532a8015e932fa4bee1ed68ce01b3c0b802d09c.zip | |
Try to work around intermittent autogen failure on hydra.nixos.org
* autogen.sh (check_version): Try to handle odd systems where
/bin/sh does not define the "command" builtin.
| -rwxr-xr-x | autogen.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index acebc2381a3..2e6b62db843 100755 --- a/autogen.sh +++ b/autogen.sh | |||
| @@ -82,7 +82,14 @@ check_version () | |||
| 82 | printf '%s' "(using $uprog0=$uprog) " | 82 | printf '%s' "(using $uprog0=$uprog) " |
| 83 | fi | 83 | fi |
| 84 | 84 | ||
| 85 | command -v $uprog > /dev/null || return 1 | 85 | ## /bin/sh should always define the "command" builtin, but for |
| 86 | ## some odd reason sometimes it does not on hydra.nixos.org. | ||
| 87 | ## /bin/sh = "BusyBox v1.27.2", "built-in shell (ash)". ? | ||
| 88 | if command -v command > /dev/null; then | ||
| 89 | command -v $uprog > /dev/null || return 1 | ||
| 90 | else | ||
| 91 | $uprog --version > /dev/null 2>&1 || return 1 | ||
| 92 | fi | ||
| 86 | have_version=`get_version $uprog` || return 4 | 93 | have_version=`get_version $uprog` || return 4 |
| 87 | 94 | ||
| 88 | have_maj=`major_version $have_version` | 95 | have_maj=`major_version $have_version` |