I am really not sure why the time output looks so funky but here are
some timings of the GraphicsMagick configure script using /bin/dash
and /bin/bash on an Ubuntu 18.04 LTS system. The timing difference is
not as much as I remember from years ago. The difference might be due
to configure script design improvements, Bash implementation
improvements, and the fact that this is a much faster system.
/bin/dash
8.31user 2.37system 0:10.22elapsed 104%CPU (0avgtext+0avgdata
71316maxresident)k
0inputs+30016outputs (0major+1529930minor)pagefaults 0swaps
/bin/bash
9.38user 3.07system 0:11.71elapsed 106%CPU (0avgtext+0avgdata
71368maxresident)k
0inputs+31856outputs (0major+2007933minor)pagefaults 0swaps
Bob
--
Bob Friesenhahn
bfrie...@simple.dallas.tx.us, http://www.simplesystems.org/users/bfriesen/
GraphicsMagick Maintainer, http://www.GraphicsMagick.org/
Public Key, http://www.simplesystems.org/users/bfriesen/public-key.txt