diff --git a/coq-lint.sh b/coq-lint.sh
index f80f90aefa4ec652f5558a5eb8e74cdc24bd3c24..5ad1f4fa6c34b6dfc9e9ab9e5dd90f753ae12cd4 100755
--- a/coq-lint.sh
+++ b/coq-lint.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 set -e
 ## A simple shell script checking for some common Coq issues.