diff options
| author | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-20 12:38:13 +0200 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-20 12:38:13 +0200 |
| commit | 9fec8ddfeb1128a34ab1cf09aff8bd998b96916d (patch) | |
| tree | 493b5ec0bdcc890cfe0458047ff5e242214286d9 /scripts | |
| parent | 54749f2e0c2c7ff9c35588b8cf332dba045e2831 (diff) | |
| download | ptxdist-9fec8ddfeb1128a34ab1cf09aff8bd998b96916d.tar.gz ptxdist-9fec8ddfeb1128a34ab1cf09aff8bd998b96916d.tar.xz | |
ptxd_make_get_git: abort on all errors
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/lib/ptxd_make_get.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/lib/ptxd_make_get.sh b/scripts/lib/ptxd_make_get.sh index 24d0cc75a..3f57c8d3f 100644 --- a/scripts/lib/ptxd_make_get.sh +++ b/scripts/lib/ptxd_make_get.sh @@ -132,15 +132,15 @@ ptxd_make_get_git() { git init --bare --shared "${mirror}" else git --git-dir="${mirror}" remote rm origin - fi + fi && # overwrite everything so the git repository is in a defined state git --git-dir="${mirror}" config transfer.fsckObjects true && git --git-dir="${mirror}" config tar.tar.bz2.command "bzip2 -c" && - git --git-dir="${mirror}" config tar.tar.xz.command "xz -c" + git --git-dir="${mirror}" config tar.tar.xz.command "xz -c" && git --git-dir="${mirror}" remote add origin "${url}" && git --git-dir="${mirror}" fetch --progress -pf origin "+refs/*:refs/*" && # at least for some git versions this is not group writeable for shared repos - chmod g+w "${mirror}/FETCH_HEAD" + chmod g+w "${mirror}/FETCH_HEAD" && if ! git --git-dir="${mirror}" rev-parse --verify -q "${tag}" > /dev/null; then ptxd_make_serialize_put |