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 | |
| parent | 86c02c515d50c54c52539a31cc7134baae2737e7 (diff) | |
| download | builder-f3b57546352b1fb096490b2c3d5bfe4975db674a.tar.xz | |
conf/default.conf: use more robust method to determine if this is a git repository
| -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 |