Use /bin/sh in tools/check_rst.sh, for consistency

vfaronov · Aug 12, 2016 · a123031 · a123031
1 parent d7ecb98
commit a123031
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/check_rst.sh b/tools/check_rst.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 set -e