diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-04 15:46:01 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-04 15:46:01 +0200 |
| commit | eb68b12a3baa065e68ce83dff57759a08f60cb9e (patch) | |
| tree | 06ea64859ad1fe2c2417098fa48fb9004cee8761 /bin/build-packages | |
| parent | bc55a8b39392301dcb785c485dbc4f765d7e7e49 (diff) | |
| download | builder-eb68b12a3baa065e68ce83dff57759a08f60cb9e.tar.xz | |
bin/build-packages: clean up checkout
Diffstat (limited to 'bin/build-packages')
| -rwxr-xr-x | bin/build-packages | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/build-packages b/bin/build-packages index 339a8bc..d4fc8b9 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -38,9 +38,10 @@ while true; do git -C "${repo}" clean -df git -C "${repo}" checkout master git -C "${repo}" pull - git -C "${repo}" checkout "${git_revision}" &> /dev/null || true done + git -C "${repo_paths["$(find_repository_with_commit "${git_revision}")"]}" checkout "${git_revision}" &> /dev/null + PKGBUILD="$(find_pkgbuild "${package}" "${repository}")" if [ ! -r "${PKGBUILD}" ]; then |