They shouldn't? It comes from commit 86be79 "Enable
automake
parallel-tests for make check."
Sorry I let that slip by. Those are bash extensions and so they should not
be used in a script with #!/bin/sh. But moreover, they are commands that
exist solely for interactive use and in scripts you can use more
straightforward methods (like var=`pwd` and cd "$var").
I dunno why I thought pushd and popd would be a good idea. A simple
cd
to change the working directory instead works fine if that is better:
That's fine.