diff --git a/dist/tools/static-tests.sh b/dist/tools/static-tests.sh index c6973fa46bc1..14db3a24e101 100755 --- a/dist/tools/static-tests.sh +++ b/dist/tools/static-tests.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Copyright (C) 2015 Lucas Jenß #