diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2020-02-17 11:29:44 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2020-02-17 11:29:44 +0100 |
| commit | 118e2a2cf3bdd1b1b8e8ad13ba555192e765bd9e (patch) | |
| tree | 4380fb88ba7d14d7656f21b4fe8d0253b64c3a90 /repoman/bin/checkrepo | |
| parent | ca75d294e3b1bd59ca868c6a57310445eb1187dd (diff) | |
#957: Script `checkrepo` supports `help` and `version` functions.
Diffstat (limited to 'repoman/bin/checkrepo')
| -rwxr-xr-x | repoman/bin/checkrepo | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/repoman/bin/checkrepo b/repoman/bin/checkrepo index 5b50dcda..2d5aee42 100755 --- a/repoman/bin/checkrepo +++ b/repoman/bin/checkrepo @@ -183,6 +183,8 @@ function checkremoved() { # Main progrram. +[ "$*" == "help" ] && help +[ "$*" == "version" ] && version # Check dependencies. [ -w "$(dirname "$INFOFILE")" ] || raiseError access "$INFOFILE" |