bash (for the bootstrap script) might not be /bin/bash

bk: 4495eb37daSFxqnl4c1v2IvUTI64LA

diff --git a/bootstrap b/bootstrap
index 24eede6f69ccd9c0105b5ab0e0c653446736dd6b..533058231ce69ffe4a6558a6ae4f0ef02fbcf943 100755 (executable)
--- a/bootstrap
+++ b/bootstrap
@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /usr/bin/env bash
 
 #  This "bootstrap" script performs various pre-autoreconf actions
 #  that are required after pulling fresh sources from the repository.