From d4def32456c0fadb7fc9814af7e7b2b21a37f0a6 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 9 Mar 2018 13:59:17 +0100
Subject: pre-commit: verify user overlay extensions (must be .sh).

This has come up a couple times.
---
 dev/tools/pre-commit | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dev/tools/pre-commit')

diff --git a/dev/tools/pre-commit b/dev/tools/pre-commit
index c9cdee84ab..a514b8866a 100755
--- a/dev/tools/pre-commit
+++ b/dev/tools/pre-commit
@@ -5,6 +5,8 @@
 
 set -e
 
+dev/tools/check-overlays.sh
+
 if ! git diff --cached --name-only -z | xargs -0 dev/tools/check-eof-newline.sh ||
         ! git diff-index --check --cached HEAD >/dev/null 2>&1 ;
 then
-- 
cgit v1.2.3