diff --git a/start b/start index f2647244b8..435df7442e 100755 --- a/start +++ b/start @@ -1,3 +1,4 @@ +#!/bin/bash # called by native THIS_DIR=$(dirname "$0") pushd "$THIS_DIR"