[coreboot-gerrit] Change in libhwbase[master]: mutime: Move to common/

[Nico Huber (Code Review)]

Nico Huber has uploaded this change for review. ( https://review.coreboot.org/26839


Change subject: mutime: Move to common/
......................................................................

mutime: Move to common/

It's valid SPARK now.

Change-Id: I03bc3fa7d9bea79680888c13679cfd871e772000
Signed-off-by: Nico Huber <nico.huber at secunet.com>
---
M ada/Makefile.inc
M common/Makefile.inc
R common/mutime/hw-time-timer.adb
3 files changed, 4 insertions(+), 4 deletions(-)



  git pull ssh://review.coreboot.org:29418/libhwbase refs/changes/39/26839/1

diff --git a/ada/Makefile.inc b/ada/Makefile.inc
index 2dd0c5a..0074725 100644
--- a/ada/Makefile.inc
+++ b/ada/Makefile.inc
@@ -2,8 +2,4 @@
 hw-$(CONFIG_HWBASE_DYNAMIC_MMIO) += dynamic_mmio/hw-mmio_range.adb
 hw-$(CONFIG_HWBASE_TIMER_CLOCK_GETTIME) += clock_gettime/hw-time-timer.adb
 
-hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/musinfo/musinfo.ads
-hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/muschedinfo/muschedinfo.ads
-hw-$(CONFIG_HWBASE_TIMER_MUTIME) += mutime/hw-time-timer.adb
-
 hw-$(CONFIG_HWBASE_POSIX_FILE) += posix/hw-file.adb
diff --git a/common/Makefile.inc b/common/Makefile.inc
index efdf21d..98b4fbb 100644
--- a/common/Makefile.inc
+++ b/common/Makefile.inc
@@ -19,6 +19,10 @@
 hw-$(CONFIG_HWBASE_LINUX_PCIDEV) += linux/hw-pci-dev.adb
 hw-$(CONFIG_HWBASE_LINUX_PCIDEV) += hw-pci-dev.ads
 
+hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/musinfo/musinfo.ads
+hw-$(CONFIG_HWBASE_TIMER_MUTIME) += $(muen-common-path)/muschedinfo/muschedinfo.ads
+hw-$(CONFIG_HWBASE_TIMER_MUTIME) += mutime/hw-time-timer.adb
+
 hw-config-ads := $(subst //,/,$(call src-to-obj,,$(dir)/hw-config).ads)
 $(hw-config-ads): $(dir)/hw-config.ads.template $(cnf)
 	printf "    GENERATE   $(patsubst /%,%,$(subst $(obj)/,,$@))\n"
diff --git a/ada/mutime/hw-time-timer.adb b/common/mutime/hw-time-timer.adb
similarity index 100%
rename from ada/mutime/hw-time-timer.adb
rename to common/mutime/hw-time-timer.adb

-- 
To view, visit https://review.coreboot.org/26839
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: libhwbase
Gerrit-Branch: master
Gerrit-MessageType: newchange
Gerrit-Change-Id: I03bc3fa7d9bea79680888c13679cfd871e772000
Gerrit-Change-Number: 26839
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h at gmx.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20180604/1348a802/attachment.html>