diff options
| author | dir <dir@ableton.com> | 2017-12-13 15:39:39 +0100 |
|---|---|---|
| committer | dir <dir@ableton.com> | 2017-12-13 18:22:14 +0100 |
| commit | 58e09a51829ea7942a17298ae0d606e5003fef19 (patch) | |
| tree | dbd58bffcd81ecd1fc11faa885572b1c259a93f4 /mk | |
| parent | f8cc30707ae5be3ef03b6e9919d9acbfec8bb7a4 (diff) | |
Fail on non-existing hashes for fetching
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/fetch.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mk/fetch.mk b/mk/fetch.mk index b6164c03c..2d3e7d666 100644 --- a/mk/fetch.mk +++ b/mk/fetch.mk @@ -81,6 +81,7 @@ $(1): git clone --progress $${PKG_SITES} $${PKG_NAME}-$${PKG_VERSION} $(DL_TRACE); \ if [ $$$$? -ne 0 ]; then echo "git clone error"; exit 1; fi; \ (cd $${PKG_NAME}-$${PKG_VERSION}; git checkout $${PKG_VERSION}) $(DL_TRACE); \ + if [ $$$$? -ne 0 ]; then echo "git checkout error"; exit 1; fi; \ ;; \ esac ;\ else \ |