diff --git a/build/linux/dist/arduino b/build/linux/dist/arduino index 94cf80db0..0ff20af63 100755 --- a/build/linux/dist/arduino +++ b/build/linux/dist/arduino @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash CURDIR=`pwd` APPDIR="$(dirname -- "$(readlink -f -- "${0}")" )"