From 70045b02b9457edc984b0ecdbb1e7025c1a6eaef Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Apr 2021 12:24:04 +0100
Subject: [PATCH] Makefile: Provide for-at and for-wdt convenience targets

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 02d8391c..b5681cae 100644
--- a/Makefile
+++ b/Makefile
@@ -316,10 +316,12 @@ AT_WDT_RUN = $(NAILING_CARGO_JUST_RUN) $(abspath $<)
 AT_RUN = $(AT_WDT_RUN) $(basename $(notdir $@))
 WDT_RUN = $(AT_WDT_RUN) wdriver --test=$(basename $(notdir $@))
 
+for-at:			$(AT_DEPS)
 stamp/at-%.check:	$(AT_DEPS)
 	$(AT_RUN)
 	$(stamp)
 
+for-wdt:		$(AT_DEPS)
 stamp/wdt-%.check:	$(WDT_DEPS)
 	$(WDT_RUN)
 	$(stamp)
-- 
2.30.2