From: Michal Sojka <michal.sojka@cvut.cz>
Date: Thu, 17 Dec 2020 07:39:55 +0000 (+0100)
Subject: Run pre-commit hook in bash
X-Git-Tag: 20201217~3
X-Git-Url: http://rtime.felk.cvut.cz/gitweb/novaboot.git/commitdiff_plain/3ef4c3fd66b5ae0273f187a2598bcbacf52e79e5

Run pre-commit hook in bash

We need "set -o pipefail" and it needs bash.
---

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