From 30d89b3dd5d21514a52d211832b28dc9865f484c Mon Sep 17 00:00:00 2001
From: Jeroen Ooms <jeroenooms@gmail.com>
Date: Fri, 31 Jan 2020 12:29:27 +0100
Subject: [PATCH] Fix bash also in cleanup

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

diff --git a/cleanup b/cleanup
index 88fef0f..c8e4231 100755
--- a/cleanup
+++ b/cleanup
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #This ensures a placeholder is shipped with CMD build.
 for file in src/cld_3/protos/*.proto; do
   echo "#error This is a placeholder file." > ${file%.proto}.pb.cc