From 13182842a231a2deefea0fe6cd7cdb546ac006b6 Mon Sep 17 00:00:00 2001
From: Christian <github@grische.xyz>
Date: Fri, 18 Aug 2023 11:44:18 +0200
Subject: [PATCH] Makefile: allow specifying GLUON_DEVICES

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

diff --git a/Makefile b/Makefile
index dcc17bac..17e71365 100644
--- a/Makefile
+++ b/Makefile
@@ -36,10 +36,15 @@ info:
 	@echo
 
 build: gluon-prepare output-clean
+ifeq ($(origin GLUON_DEVICES), undefined)
 	for target in ${GLUON_TARGETS}; do \
 		echo ""Building target $$target""; \
 		${GLUON_MAKE} download all GLUON_TARGET="$$target"; \
 	done
+else # only run for specific gluon devices (works only for a single GLUON_TARGET)
+	echo ""Building target ${GLUON_TARGETS} for devices ${GLUON_DEVICES}""; \
+	${GLUON_MAKE} download all GLUON_DEVICES="${GLUON_DEVICES}" GLUON_TARGET="${GLUON_TARGETS}"
+endif
 
 manifest: build
 	for branch in next experimental testing stable; do \