Make autopull.sh more suited for continuous integration.

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

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'."