diff --git a/dev-shell b/dev-shell
index a4fdc6814..2fe62a469 100755
--- a/dev-shell
+++ b/dev-shell
@@ -1,4 +1,4 @@
-#! /bin/sh
+#!/usr/bin/env bash
 if [ -e tests/test-tmp ]; then
     chmod -R u+w tests/test-tmp
     rm -rf tests/test-tmp