diff --git a/configure.sh b/configure.sh index 5f4f0a8065..fc64c1b632 100755 --- a/configure.sh +++ b/configure.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Please run this script to configure the repository after cloning it. # Stop on the first error.