From d7c7649f5b4688e73046d45293e4d046ade59135 Mon Sep 17 00:00:00 2001 From: Jonas Schievink Date: Fri, 16 Oct 2020 21:49:03 +0200 Subject: [PATCH] ignore-thumb --- src/test/run-make/issue-36710/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/src/test/run-make/issue-36710/Makefile b/src/test/run-make/issue-36710/Makefile index ddde078e8f84..97a379de0b1b 100644 --- a/src/test/run-make/issue-36710/Makefile +++ b/src/test/run-make/issue-36710/Makefile @@ -1,6 +1,7 @@ include ../../run-make-fulldeps/tools.mk # ignore-wasm32 +# ignore-thumb all: foo $(call RUN,foo)