From 4b4a79b1fa6e2273ea24c172a0dfb7193c4fb206 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 28 May 2020 15:54:50 +0200
Subject: [PATCH] fixup "Support linux in manual fetchurl test" (do not build
 all targets)

---
 repos/libports/run/fetchurl.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/run/fetchurl.inc b/repos/libports/run/fetchurl.inc
index 31d855383..f739d6314 100644
--- a/repos/libports/run/fetchurl.inc
+++ b/repos/libports/run/fetchurl.inc
@@ -115,7 +115,7 @@ install_config {
 </config>
 }
 
-build            { }
+#build            { }
 build_boot_image { }
 
 proc qemu_nic_model {} {