From 511acd5b587db045262ee5317e1f2ec206fafdc7 Mon Sep 17 00:00:00 2001
From: Pip Cet <pipcet@gmail.com>
Date: Thu, 28 Jan 2021 14:33:30 +0000
Subject: [PATCH] Makefile: convenience rule

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index b68102c7..b991e2ed 100644
--- a/Makefile
+++ b/Makefile
@@ -131,6 +131,12 @@ build/wasm32/gcc-testsuite/%.{dejagnu}.mk: built/wasm32/gcc | build/wasm32/gcc s
 	done; \
         echo "build/wasm32/gcc-testsuite/$*.all: $$all" >> $@
 
+build/wasm32/gcc-testsuite/gcc.c-torture/execute/%: build/wasm32/gcc-testsuite/gcc.c-torture/execute/execute.exp.{dejagnu}.mk
+	make -f $< $@ || (cat $(dir $@)gcc.log > /dev/stderr; false)
+
+build/wasm32/gcc-testsuite/gcc.c-torture/execute/ieee/%: build/wasm32/gcc-testsuite/gcc.c-torture/execute/ieee/ieee.exp.{dejagnu}.mk
+	make -f $< $@ || (cat $(dir $@)gcc.log > /dev/stderr; false)
+
 build/wasm32/gcc-testsuite/gcc.dg/%: build/wasm32/gcc-testsuite/gcc.dg/dg.exp.{dejagnu}.mk
 	make -f $< $@ || (cat $(dir $@)gcc.log > /dev/stderr; false)