diff options
| -rwxr-xr-x | autopull.sh | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/autopull.sh b/autopull.sh index 0d08d35..4638d7b 100755 --- a/autopull.sh +++ b/autopull.sh @@ -17,8 +17,25 @@ # You should have received a copy of the GNU General Public License # along with this program. If not, see <https://www.gnu.org/licenses/>. -# Usage: ./autopull.sh +# Usage: ./autopull.sh [--one-time] +# +# Options: +# --one-time Optimize, assuming that the current directory will be +# used to build the current version only and will be +# thrown away afterwards. + +# Parse options. + +shallow= + +while :; do + case "$1" in + --one-time) shallow='--depth 1'; shift;; + *) break ;; + esac +done + -./gitsub.sh pull || exit 1 +./gitsub.sh pull $shallow || exit 1 echo "$0: done. Now you can run './autogen.sh'." |