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 7f4a498cce5b63706e11df6eeb21c8bff4a5a647..77323f1af375f4a6d5e9aa0db8f16d0ba6457a38 100755 (executable)
--- a/contrib/hooks/pre-commit
+++ b/contrib/hooks/pre-commit
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 # git pre-commit hook