diff options
| author | Erich Eckner <git@eckner.net> | 2020-06-18 21:14:04 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-06-18 21:14:04 +0200 |
| commit | 817e3bc5f856536b9e69c8a52c5b3c8755d66961 (patch) | |
| tree | bd6d15e40149e3b0ac1cf9dbcd086123485c647d /bin | |
| parent | 7bf6778b67246cccb243fd4d88d377e0bf48273f (diff) | |
| download | builder-817e3bc5f856536b9e69c8a52c5b3c8755d66961.tar.xz | |
bin/db-update: short-circuit -p|--progressive
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/db-update | 2 |
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='' |