c5b2ded055
dist/tools: Use /usr/bin/env bash for bash scripts
2020-10-30 13:13:40 +01:00
96cad82910
dist/tools: Use bash instead of sh where needed
...
A number of scripts use features from bash such as `local` which are not
in the POSIX spec. This breaks on systems where sh is not symlinked to
bash.
This patch changes the interpreter indicated by the hashbang to bash for
those scripts
2020-10-30 12:12:10 +01:00
d69036f08d
dist/tools/git-cache: don't export GIT_CACHE_DIR in script
2020-06-23 14:54:25 +02:00
b33a196e78
dist/tools/git/git-cache: bump version
...
Upstream contains important fixes:
- improve tag handling
- improve concurrent use
- clean up temporary tags
2019-07-17 12:04:37 +02:00
Joakim Nohlgård
5816aa7419
dist: tools: git-cache: update to latest upstream
...
Upstream commit 04f04e5272f9fd68113a7f07ef034dd672630c79
04f04e5272
2018-05-17 20:42:23 +02:00
17b35f6ece
dist: tools: git-cache: bump version
...
adds OSX fixes for md5sum, flock
2017-01-12 17:31:57 +01:00
eecf43cd53
dist: tools: git-cache: update README
2017-01-11 16:07:42 +01:00
b0dad94ab5
dist: tools: git-cache: bump to latest upstream
2017-01-11 01:02:56 +01:00
BytesGalore
bc60be10d0
git-cache: consider if git_cache dir is present
2017-01-04 17:10:48 +01:00
Cenk Gündoğan
63bfbfabec
git-cache: bump to commit 5de20d6 from kaspar030/git-cache
2016-12-28 17:03:15 +01:00
e65541817c
dist: tools: bump git-cache version ( #6217 )
2016-12-15 10:59:47 +01:00
Martine Lenders
1124409d80
git-cache: also fetch tags
2016-06-01 19:46:31 +02:00
772657253f
dist: tools: add git-cache
2016-03-21 21:22:33 +01:00
