autopull.sh

   1 #!/bin/sh
   2 # Convenience script for fetching auxiliary files that are omitted from
   3 # the version control repository of this package.
   4
   5 # Copyright (C) 2022 Free Software Foundation, Inc.
   6 #
   7 # This program is free software: you can redistribute it and/or modify
   8 # it under the terms of the GNU General Public License as published by
   9 # the Free Software Foundation; either version 3 of the License, or
  10 # (at your option) any later version.
  11 #
  12 # This program is distributed in the hope that it will be useful,
  13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 # GNU General Public License for more details.
  16 #
  17 # You should have received a copy of the GNU General Public License
  18 # along with this program.  If not, see <https://www.gnu.org/licenses/>.
  19
  20 # Usage: ./autopull.sh [--one-time]
  21 #
  22 # Options:
  23 #   --one-time          Optimize, assuming that the current directory will be
  24 #                       used to build the current version only and will be
  25 #                       thrown away afterwards.
  26
  27 # Parse options.
  28
  29 shallow=
  30
  31 while :; do
  32   case "$1" in
  33     --one-time) shallow='--depth 1'; shift;;
  34     *) break ;;
  35   esac
  36 done
  37
  38
  39 ./gitsub.sh pull $shallow || exit 1
  40
  41 echo "$0: done.  Now you can run './autogen.sh'."