tree 2c65eb0405e713d09d3d5c2b772aa7a519d6a052
parent f4f3b4d4cbe115b9747170bc9af9d37717f85ee9
author Bruno Haible <bruno@clisp.org> 1658165632 +0200
committer Bruno Haible <bruno@clisp.org> 1658165632 +0200

Make autopull.sh more suited for continuous integration.

* autopull.sh: Support option --one-time.