diff options
| author | Andreas Baumann <mail@andreasbaumann.cc> | 2019-12-27 09:26:21 +0100 |
|---|---|---|
| committer | Andreas Baumann <mail@andreasbaumann.cc> | 2019-12-27 09:26:21 +0100 |
| commit | 8a2837ba700290cd5d79123d1848e462bef4682e (patch) | |
| tree | 2f80b60330cfafde4c8d4246fce68e0f39b97447 | |
| parent | 6c4a09be5c633be3fde978554b83171e9c7cf648 (diff) | |
| download | builder-8a2837ba700290cd5d79123d1848e462bef4682e.tar.xz | |
small fix in local-build-package error message
| -rwxr-xr-x | bin/local-build-package | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/local-build-package b/bin/local-build-package index e3339de..7c88b3f 100755 --- a/bin/local-build-package +++ b/bin/local-build-package @@ -153,7 +153,7 @@ if ! ${nobuild}; then repo_path='../work/repos/community' ;; *) - >&2 echo 'Repository is either "core" or "community"' + >&2 echo 'Repository is either "core", "extra" or "community"' usage esac git_revision=$(git -C "${repo_path}" rev-parse HEAD) |