tree 9d6a963643563ae315482130b36a5d41110cba41
parent 6758e5a25b5470ef1f6733e9ecea710b9233fe14
author Bruno Haible <bruno@clisp.org> 1548626265 +0100
committer Bruno Haible <bruno@clisp.org> 1548628133 +0100

Accommodate a shell that is not in /bin/sh.