From 52efac43bd893e5ab13229d574e1bcc08290bd61 Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Fri, 24 Nov 2023 12:29:53 -0700 Subject: [PATCH] Fix pre-commit. --- .githooks/pre-commit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.githooks/pre-commit b/.githooks/pre-commit index 63c3492..cb2d72e 100755 --- a/.githooks/pre-commit +++ b/.githooks/pre-commit @@ -3,7 +3,7 @@ set -e filesToFormat=$( git --no-pager diff --name-status --no-color --cached | \ - awk '$1 != "D" && $2 ~ /\.c\|\.h/ {print $NF}' + awk '$1 != "D" && $2 ~ /\.c|\.h/ {print $NF}' ) for path in $filesToFormat