Skip to content

Commit 9842025

Browse files
committed
Fix up format check script
1 parent e2f6f66 commit 9842025

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

scripts/format_check.sh

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,8 @@ if [[ $(git diff) ]]; then
66
exit 1
77
fi
88

9-
./format.sh
9+
SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
10+
julia $SCRIPT_DIR/format.jl
1011
if [[ $(git diff) ]]; then
1112
echo "Julia format found differences:"
1213
git diff

0 commit comments

Comments
 (0)