From ed1cec2efaac5a726a985a1f969264d9d82fc03d Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 15 Oct 2018 13:03:02 +0200
Subject: [PATCH] test/xml_generator: move to base

---
 repos/{os => base}/run/xml_generator.run            | 0
 repos/{os => base}/src/test/xml_generator/main.cc   | 0
 repos/{os => base}/src/test/xml_generator/target.mk | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 rename repos/{os => base}/run/xml_generator.run (100%)
 rename repos/{os => base}/src/test/xml_generator/main.cc (100%)
 rename repos/{os => base}/src/test/xml_generator/target.mk (100%)

diff --git a/repos/os/run/xml_generator.run b/repos/base/run/xml_generator.run
similarity index 100%
rename from repos/os/run/xml_generator.run
rename to repos/base/run/xml_generator.run
diff --git a/repos/os/src/test/xml_generator/main.cc b/repos/base/src/test/xml_generator/main.cc
similarity index 100%
rename from repos/os/src/test/xml_generator/main.cc
rename to repos/base/src/test/xml_generator/main.cc
diff --git a/repos/os/src/test/xml_generator/target.mk b/repos/base/src/test/xml_generator/target.mk
similarity index 100%
rename from repos/os/src/test/xml_generator/target.mk
rename to repos/base/src/test/xml_generator/target.mk