Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/db-update
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-06-18 21:14:04 +0200
committerErich Eckner <git@eckner.net>2020-06-18 21:14:04 +0200
commit817e3bc5f856536b9e69c8a52c5b3c8755d66961 (patch)
treebd6d15e40149e3b0ac1cf9dbcd086123485c647d /bin/db-update
parent7bf6778b67246cccb243fd4d88d377e0bf48273f (diff)
bin/db-update: short-circuit -p|--progressive
Diffstat (limited to 'bin/db-update')
-rwxr-xr-xbin/db-update2
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/db-update b/bin/db-update
index acf901a..7c5a8cf 100755
--- a/bin/db-update
+++ b/bin/db-update
@@ -106,6 +106,8 @@ do
;;
-p|--progressive)
progressive=true
+ >&2 echo 'Do not use this option, it is currently broken.'
+ exit 42
;;
-w|--wait)
block_flag=''