mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
- safeguard against an endless loop when MIT pthreads are not installed
(Bug #121)
This commit is contained in:
parent
abd0343512
commit
4c1782eab7
1 changed files with 1 additions and 1 deletions
|
@ -2583,7 +2583,7 @@ EOF
|
|||
echo ""
|
||||
echo "Configuring MIT Pthreads"
|
||||
# We will never install so installation paths are not needed.
|
||||
(cd mit-pthreads; sh ./configure)
|
||||
(cd mit-pthreads && sh ./configure) || exit 1
|
||||
echo "End of MIT Pthreads configuration"
|
||||
echo ""
|
||||
LIBS="$MT_LD_ADD $LIBS"
|
||||
|
|
Loading…
Reference in a new issue