Changeset 4195

Timestamp:

May 6, 2020 1:16:57 PM (10 months ago)

Author:

stefan

Message:

always prefix PATH with AUTOTOOLS_DIR, if set

File:

• stable/0.8/run_autotools (modified) (1 diff)

stable/0.8/run_autotools

@@ -95 +95 @@
 # Find out the location for autotools executables, macros, etc.
 # This can be overidden if the user sets AUTOTOOLS_DIR in the environment.
-# If this directory is not already in the PATH, add it.
+# If AUTOTOOLS_DIR is set, make sure that is at the beginning of PATH.
 
 if test -z "$AUTOTOOLS_DIR" ; then
   # assume that autotools directory is given by location of autoconf
   AUTOTOOLS_DIR=`dirname $(which autoconf)`/..
-elif ! expr ":${PATH}:" : '.*:'"${AUTOTOOLS_DIR}"'/bin:.*' &>/dev/null ; then
+else
   # prefix PATH with AUTOTOOLS_DIR/bin
   PATH="${AUTOTOOLS_DIR}/bin:$PATH"