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