diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-02 13:20:53 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-02 13:20:53 +0200 |
| commit | 8601cfbc675a80160118ada110eb0988f7ae3c59 (patch) | |
| tree | 086b4789c2581f75f7322febaf03778c5e7d92a0 | |
| parent | 83b4a6b218f25a5ff0e0cba119b20b2f866f53cc (diff) | |
| download | builder-8601cfbc675a80160118ada110eb0988f7ae3c59.tar.xz | |
bin/get-package-updates: remove bashism
| -rwxr-xr-x | bin/get-package-updates | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 14f63d9..b51d7c2 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -113,9 +113,9 @@ for repo in ${repo_names}; do git -C "${repo_path}" rev-parse HEAD | \ tee "${work_dir}/${repo}.revision.new" )'" - eval 'if ! [ "${new_repo_revisions__'"${repo}"'}" = "${old_repo_revisions__'"${repo}"'}" ]; then + if ! eval '[ "${new_repo_revisions__'"${repo}"'}" = "${old_repo_revisions__'"${repo}"'}" ]'; then something_new=true - fi' + fi done if ${pull} && \ |