Measurements taken with i7-6820HQ and updated Fedora Rawhide.
Bash is notoriously slow, but Fedora/EL distros use it as a default /bin/sh, so apply a convenience trick directly in ./autogen.sh so that, when invoked with "roll [CONFIGURE-ARGS]" as argument, it will attempt to stick with dash if available. Merely for completeness, it will also try to workaround the unexpected situation there's no /bin/sh on the system (or /usr/local/bin/sh or so is preferred for casual uses per the PATH priorities?).
In a sense, it restores some prior convenience arrangements present till 19a1794d9, but the difference is that the new addition is terse and very easy to grasp.
For the time being, .gitlab-ci.yml doesn't use it, as it it's expected that the overhead of installing dash in addition to the inherently present bash on Fedora will not gain anything, quite the contrary. It may be reconsidered in the context of actual test executions, though a separate measurement is needed.
Note that also drop of "local" non-POSIX extension from configure script was in order (dash warns about that).
该提问来源于开源项目：ClusterLabs/pacemaker
