RIOT-OS/RIOT
RIOT-OS/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Code Releases Activity
45,890 Commits 40 Branches 189 Tags 262 MiB
0c49709dbd
Commit Graph

2 Commits

Author SHA1 Message Date
Sebastian Meiling
277fbd8386 tools: fix shebang in has_minimal_version.sh 
Change shebang in script from `/bin/bash` to `/usr/bin/env bash`,
which fixed problems when `bash` is not available in standard location,
e.g., on non-Linux OSes such as FreeBSD.
 2019-09-16 11:27:15 +02:00
Gaëtan Harter
a3c7d26a7d
dist/tools/has_minimal_version: add tool to check minimal version 
usage: has_minimal_version.sh <version> <minimal_version> [toolname]
      Checks that version >= minimal_version
      Version format MAJOR.MINOR.PATCH ex 3.1.4
 2018-08-14 15:26:51 +02:00