CONFIGURE: Add more verbosity for slow shell environments like mingw
This commit is contained in:
parent
6a7c87b4a4
commit
53ea7bfe34
1 changed files with 17 additions and 0 deletions
17
configure
vendored
17
configure
vendored
|
@ -3454,6 +3454,15 @@ _engines_built_static=""
|
|||
_engines_built_dynamic=""
|
||||
_engines_skipped=""
|
||||
|
||||
# Show a message if looping over engines takes longer than 5 secs
|
||||
sh -c "
|
||||
touch config.gnomes
|
||||
sleep 5
|
||||
if test -f config.gnomes; then
|
||||
printf 'Employing little gnomes...'
|
||||
rm -f config.gnomes
|
||||
fi" 2>/dev/null &
|
||||
|
||||
for engine in $_engines; do
|
||||
if test "`get_engine_sub $engine`" = "no" ; then
|
||||
# It's a main engine
|
||||
|
@ -3518,6 +3527,14 @@ done
|
|||
|
||||
add_to_config_h_if_yes `get_var _tainted_build` '#define TAINTED_BUILD'
|
||||
|
||||
# Complete the message on slow systems
|
||||
if test -f config.gnomes ; then
|
||||
# Kill does not work well here as it produces nasty 'Killed' message
|
||||
rm -rf config.gnomes
|
||||
else
|
||||
echo " work is done"
|
||||
fi
|
||||
|
||||
#
|
||||
# Show which engines ("frontends") are to be built
|
||||
#
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue