diff --git a/examples/run_examples.sh b/examples/run_examples.sh index aae325c91133aed10729aeb85f779b1a83cb0646..c6c62b3d9fcdaf928729b131ea4feef10390800e 100755 --- a/examples/run_examples.sh +++ b/examples/run_examples.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash RED='\033[0;31m' GREEN='\033[0;32m'