Index: tools/build-ccheck.sh
===================================================================
--- tools/build-ccheck.sh	(revision fc448f5f560ea1a9a7e90a7dff181e501713aa1e)
+++ tools/build-ccheck.sh	(revision 3e828ea40985ce126affd5d7faa6ba679802b4db)
@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/bin/sh
 #
 # Copyright (c) 2019 Jiri Svoboda