For cygwin, make sure to preserve previous contents of EXTRA_DIRS.
This commit is contained in:
parent
349195795e
commit
1d50d5b68c
1 changed files with 1 additions and 1 deletions
|
@ -106,7 +106,7 @@ case "${host}" in
|
|||
|
||||
*-*-cygwin*)
|
||||
if test -d /usr/local ; then
|
||||
EXTRA_DIRS="/usr/local"
|
||||
EXTRA_DIRS="${EXTRA_DIRS} /usr/local"
|
||||
fi
|
||||
;;
|
||||
|
||||
|
|
Loading…
Reference in a new issue