summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutil/lint/check-style2
1 files changed, 1 insertions, 1 deletions
diff --git a/util/lint/check-style b/util/lint/check-style
index f72d7b42c5..5d21b8b2e3 100755
--- a/util/lint/check-style
+++ b/util/lint/check-style
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
# git pre-commit hook that runs an clang-format stylecheck.
# Features:
# - abort commit when commit does not comply with the style guidelines