diff --git a/dist/tools/openocd/openocd.sh b/dist/tools/openocd/openocd.sh index e6776bbee14a..d9e8b0b7ad82 100755 --- a/dist/tools/openocd/openocd.sh +++ b/dist/tools/openocd/openocd.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Unified OpenOCD script for RIOT #