diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2014-09-01 08:25:22 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2014-09-01 08:25:22 +0300 |
commit | 5fea0129bb54feb5bfa0deb0ce8e8403b1328079 (patch) | |
tree | b52b2e70a5c9643bd4d11d705225630cff7f0fb7 | |
parent | 92eeafbe6b3c68a51b11dbe773d909982acfb1b9 (diff) | |
download | direvent-5fea0129bb54feb5bfa0deb0ce8e8403b1328079.tar.gz direvent-5fea0129bb54feb5bfa0deb0ce8e8403b1328079.tar.bz2 |
bootstrap: add option to get update po files and exit
-rwxr-xr-x | bootstrap | 21 |
1 files changed, 21 insertions, 0 deletions
@@ -45,10 +45,31 @@ get_po() { } ######################### +unset po_only +while getopts "ph" opt +do + case $opt in + p) po_only=1;; + h) cat - <<EOF +usage: $0 [-hp] + +options: + + -h display this help + -p get PO files and exit +EOF + exit 0 + ;; + *) exit 1 + esac +done set -e get_po +if [ -n "$po_only" ]; then + exit 0 +fi test -d am || mkdir am git submodule init |