diff --git a/Tools/fix_code_style.sh b/Tools/fix_code_style.sh index f1818f2f54..96c6d60f02 100755 --- a/Tools/fix_code_style.sh +++ b/Tools/fix_code_style.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) astyle \ --options=$DIR/astylerc \