check-pol: use a more compatible shebang

2019-05-08 22:23:33 +02:00
parent d9beeab882
commit ee19fd78e6
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 set -eo pipefail
 if [ $# -eq 0 ]