autopull.sh

Branch


Log

Author Commit Date CI Message
Bruno Haible 2582e7bb 2022-07-18T19:33:52 Make autopull.sh more suited for continuous integration. * autopull.sh: Support option --one-time.
Bruno Haible f4f3b4d4 2022-07-18T13:30:45 Move gnulib-tool invocation back from autopull.sh to autogen.sh. * autogen.sh: Revert last change. Improve comments. * autopull.sh: Only call 'gitsub.sh pull'. * HACKING: Mention autopull.sh.
Bruno Haible b9a6c979 2022-07-17T14:04:29 Split autogen.sh into autopull.sh and autogen.sh. * autopull.sh: New file, based on autogen.sh. * autogen.sh: Remove code that was moved to autopull.sh. Remove --skip-gnulib option. * Makefile.devel (all): Remove srclib/Makefile.gnulib. * Makefile.in (SOURCE_FILES): Add autogen.sh. * HACKING: Mention autopull.sh.