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
smlng
1adb5852ec
tools: allow static checks to be run from any directory
2018-06-06 14:03:31 +02:00
Gaëtan Harter
ef13d91bed
tools/check: use RIOTTOOLS variable
...
Follow up to #9067 and part of #8821
2018-05-14 15:47:53 +02:00
a02472d1fa
dist/tools/licenses/check.sh: make use of changed_files.sh
2017-05-11 12:12:54 +02:00
Ludwig Knüpfer
eda6328e21
documentation: update my name (Ortmann -> Knüpfer)
2015-09-27 18:58:30 +02:00
Finn Wilke
0d4b81d62e
dist/tools/licenses: support BSD sed
2015-01-12 03:20:09 +01:00
Ludwig Ortmann
fdae56a7a5
dist/tools/licenses: add license
2014-11-28 18:05:02 +01:00
Ludwig Ortmann
d716f2d4a5
dist/licenses: add and use --error-exitcode
2014-11-24 18:54:56 +01:00
Ludwig Ortmann
1574c2bb76
dist/licenses: add and use diff-filter
2014-11-24 18:54:56 +01:00
Ludwig Ortmann
26d2781624
tests: let license checker check cpp files, too
2014-08-23 16:16:26 +02:00
Ludwig Ortmann
d1226b2a78
tests: let license checker check headers, too
2014-08-02 11:42:34 +02:00
Ludwig Ortmann
7888222a97
tests: add branch option to license checker
2014-06-20 17:57:56 +02:00
Ludwig Ortmann
289b63c06f
dist/tools: add license checker
...
Creates file structure that maps files to licenses by grepping for
license patterns (patterns for licenses found in RIOT included).
Sets exit code to 1 if an unknown license header is detected.
2014-06-17 10:17:20 +02:00