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

tools: fix shebang in has_minimal_version.sh

Browse Source 
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.
This commit is contained in:
Sebastian Meiling 2019-09-16 11:24:26 +02:00
parent ece313020f
commit 277fbd8386
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dist/tools/has_minimal_version/has_minimal_version.sh vendored
View File

@ -1,4 +1,4 @@
#! /bin/bash
#!/usr/bin/env bash
#
# usage: has_minimal_version.sh <version> <minimal_version> [toolname]
# Checks that version >= minimal_version