:: commit ebcaf8dfa0b605fad27f3c51c8efbbf3c06dce1f
gensyms.sh: Explicitly use bash in shebang
diff --git a/stage23/gensyms.sh b/stage23/gensyms.sh
index 89362cd1..e92203ca 100755
--- a/stage23/gensyms.sh
+++ b/stage23/gensyms.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
set -e -o pipefail
