From 2643366639de3bd73b681f5c96eba855a0ab689c Mon Sep 17 00:00:00 2001 From: Pierre Tachoire Date: Mon, 4 Dec 2023 17:55:52 +0100 Subject: [PATCH] make: use safe mode w/ wpt --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 90d5ebc4..525ef739 100644 --- a/Makefile +++ b/Makefile @@ -78,7 +78,7 @@ shell: ## Run WPT tests wpt: @printf "\e[36mBuilding wpt...\e[0m\n" - @$(ZIG) build wpt -Dengine=v8 -- $(filter-out $@,$(MAKECMDGOALS)) || (printf "\e[33mBuild ERROR\e[0m\n"; exit 1;) + @$(ZIG) build wpt -Dengine=v8 -- --safe $(filter-out $@,$(MAKECMDGOALS)) || (printf "\e[33mBuild ERROR\e[0m\n"; exit 1;) ## Test test: