diff --git a/script-modules/util.sh b/script-modules/util.sh
index 86de28a6..95c9402e 100644
--- a/script-modules/util.sh
+++ b/script-modules/util.sh
@@ -14,3 +14,7 @@ find_tool() {
 		shift
 	done
 }
+
+do_nothing() {
+	:
+}