1 files changed, 1 insertions, 1 deletions
diff --git a/build.sh b/build.sh
index 2a6d25b0..9a3b57b9 100755
--- a/build.sh
+++ b/build.sh
@@ -30,7 +30,7 @@ buildp_dispatch() {
 					ex_rtl_log_msg failexit "Error: package \`${_pkg_restart}' unknown.";
 				fi;
 			done;
-			if ! ex_pkg_dispatch "invariants" "ALL" "ALL" buildp_dispatch; then
+			if ! ex_pkg_dispatch "invariants" "ALL" "ALL" buildp_dispatch ""; then
 				break;
 			fi;
 			buildp_dispatch finish_build; ;;