index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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 | |
parent | 7bf6778b67246cccb243fd4d88d377e0bf48273f (diff) |
-rwxr-xr-x | bin/db-update | 2 |
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='' |