port dff1d97: Use #!/usr/bin/env bash for shell scripts

neondatabase · Jan 11, 2023 · f1003ae · f1003ae
1 parent 18f2c52
commit f1003ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build/vm-informant/build.sh b/build/vm-informant/build.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 set -eu -o pipefail