From e3c37f43a02aed5ede0307766a70b10c37cf5292 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 13 Jan 2015 19:56:25 +0100
Subject: [PATCH] build.mk: remove RUN_ENV usage

---
 tool/builddir/build.mk | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/tool/builddir/build.mk b/tool/builddir/build.mk
index b944c41513..af56936197 100644
--- a/tool/builddir/build.mk
+++ b/tool/builddir/build.mk
@@ -217,15 +217,6 @@ again: $(INSTALL_DIR)
 ##
 
 RUN_OPT ?=
-RUN_ENV := $(call select_from_repositories,run/env)
-
-ifeq ($(RUN_ENV),)
-run: run_no_env
-endif
-
-run_no_env:
-	@echo "Error: There exists no execution environment this platform"
-	@false
 
 # helper for run/% rule
 RUN_SCRIPT = $(call select_from_repositories,run/$*.run)
@@ -245,7 +236,6 @@ run/%: $(call select_from_repositories,run/%.run) $(RUN_ENV)
 	                                     --cross-dev-prefix "$(CROSS_DEV_PREFIX)" \
 	                                     --qemu-args "$(QEMU_OPT)" \
 	                                     $(RUN_OPT) \
-	                                     --include $(RUN_ENV) \
 	                                     --include $(RUN_SCRIPT)
 
 ##