diff --git a/tools/repo/check.sh b/tools/repo/check.sh
index 9769c75..51e7852 100755
--- a/tools/repo/check.sh
+++ b/tools/repo/check.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -e
 set -o pipefail