Commit 8f41580e5d039d9549f7e73f51c2e82de4075015

Stefano Lattarini 2012-02-15T18:31:33

Merge branch 'extra-dist-tests-ksh-bug' * extra-dist-tests-ksh-bug: tests: avoid ksh bug for wildcards in EXTRA_DIST