diff options
author | Erich Eckner <git@eckner.net> | 2017-07-27 12:18:12 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-07-27 12:18:12 +0200 |
commit | f3b57546352b1fb096490b2c3d5bfe4975db674a (patch) | |
tree | 58150aeb44741829f71a57c10c4fd6e0e820c8a2 /conf | |
parent | 86c02c515d50c54c52539a31cc7134baae2737e7 (diff) | |
download | builder-f3b57546352b1fb096490b2c3d5bfe4975db674a.tar.xz |
conf/default.conf: use more robust method to determine if this is a git repository
Diffstat (limited to 'conf')
-rwxr-xr-x | conf/default.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/default.conf b/conf/default.conf index c738fc8..03001f0 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -76,7 +76,7 @@ for repo in ${repo_names}; do mkdir -p "${repo_path%/*}" - if [ ! -d "${repo_path}/.git" ]; then + if ! git -C "${repo_path}" rev-parse --git-dir > /dev/null 2>&1; then if [ "${repo}" = "archlinux32" ]; then repo_source='git@github.com:archlinux32/packages.git' else |