diff options
Diffstat (limited to 'minikrebs/profiles/init')
| -rwxr-xr-x | minikrebs/profiles/init | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/minikrebs/profiles/init b/minikrebs/profiles/init index eb5fa2af..df9fcfcd 100755 --- a/minikrebs/profiles/init +++ b/minikrebs/profiles/init @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash cd $(dirname $(readlink -f $0)) if [ ! -e Makefile ] ;then |