diff --git a/coq-lint.sh b/coq-lint.sh
index 25fdf595a6dcadfd3e18a4f96e03c915eddd6b2f..f9f5a783f36da170cbc71ccf3f718eb0cad93b41 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.