diff --git a/install-dev23a.sh b/install-dev23a.sh
index 02c79ff1e7f9caf2ad86f57b91d1062237e298d1..f7b56f694c302c12bb0d02a51910221a870b7b16 100644
--- a/install-dev23a.sh
+++ b/install-dev23a.sh
@@ -1,3 +1,4 @@
+#!/bin/bash
 #set -e
 mkdir -p dev-23a
 cd dev-23a