From 3ef4c3fd66b5ae0273f187a2598bcbacf52e79e5 Mon Sep 17 00:00:00 2001
From: Michal Sojka <michal.sojka@cvut.cz>
Date: Thu, 17 Dec 2020 08:39:55 +0100
Subject: [PATCH] Run pre-commit hook in bash

We need "set -o pipefail" and it needs bash.
---
 contrib/hooks/pre-commit | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/contrib/hooks/pre-commit b/contrib/hooks/pre-commit
index 7f4a498..77323f1 100755
--- a/contrib/hooks/pre-commit
+++ b/contrib/hooks/pre-commit
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 # git pre-commit hook
 
-- 
2.39.2