Replace /bin/bash with /usr/bin/env bash

2019-05-23 21:13:50 +02:00
parent 65dfcffa43
commit d88d8b3388
31 changed files with 31 additions and 31 deletions
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash

 inc_processor=true
 [ -z "$inc_filenames" ] && . "$basedir/build/filenames.sh"