diff --git a/tools/test.sh b/tools/test.sh index 1540a8f39..872383c22 100755 --- a/tools/test.sh +++ b/tools/test.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ## ## Authors.....: Gabriele Gristina