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 |
|