From ee19fd78e67a823129cc2a4809fcbfa067bd79df Mon Sep 17 00:00:00 2001
From: hexa- <hexa@darmstadt.ccc.de>
Date: Wed, 8 May 2019 22:23:33 +0200
Subject: [PATCH] check-pol: use a more compatible shebang

---
 check-pol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/check-pol b/check-pol
index 98cf75cbd..0befd8525 100755
--- a/check-pol
+++ b/check-pol
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -eo pipefail
 
 if [ $# -eq 0 ]