3 Commits

Author	SHA1	Message	Date
Koen Zandberg	c5b2ded055	dist/tools: Use /usr/bin/env bash for bash scripts	2020-10-30 13:13:40 +01:00
Koen Zandberg	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
Kaspar Schleiser	d69352a237	dist/tools: add dlcache.sh	2017-06-17 17:00:55 +02:00