Skip to content
Snippets Groups Projects
Commit d7ed6049 authored by Thomas Jahns's avatar Thomas Jahns :cartwheel:
Browse files

Fix EAGAIN problem in libtool.

* This work-around is needed until both bash and libtool wisen up.
parent 4538c711
No related branches found
No related tags found
No related merge requests found
......@@ -20,3 +20,5 @@ doc/cdi_cman.pdf:
#
doc/cdi_fman.pdf:
(cd $(top_srcdir)/doc/tex ; ./makepdf_f ; mv cdi_fman.pdf .. ; ./cleanup)
libtool: config/ltmain.sh
......@@ -136,6 +136,18 @@ progpath="$0"
: ${CP="cp -f"}
# work around bug in libtool which raises an error when running in a
# parallel make that should have been handled in printf internally
printf()
{
while ! builtin printf "$@" ; do
errcode=$?
# errcode might be EAGAIN=11 which means to simply try again
if [ $errcode != 11 ]; then
return $errcode
fi
done
}
test "${ECHO+set}" = set || ECHO=${as_echo-'printf %s\n'}
: ${MAKE="make"}
: ${MKDIR="mkdir"}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment