From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Apr 2021 11:24:04 +0000 (+0100)
Subject: Makefile: Provide for-at and for-wdt convenience targets
X-Git-Tag: otter-0.5.0~178
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=70045b02b9457edc984b0ecdbb1e7025c1a6eaef;p=otter.git

Makefile: Provide for-at and for-wdt convenience targets

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

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)