nova: rename test/platform to test/nova

This is a preparation for renaming platform_drv.run to platform.run. Issue #4420
2024-12-24 07:46:42 +00:00 · 2024-05-30 17:13:02 +02:00 · 2024-05-30 17:13:02 +02:00 · 0a181240c8
commit 0a181240c8
parent 940a1912fa
5 changed files with 2 additions and 2 deletions
--- a/repos/base-nova/src/test/platform/ipc.cc
+++ b/repos/base-nova/src/test/platform/ipc.cc
--- a/repos/base-nova/src/test/platform/main.cc
+++ b/repos/base-nova/src/test/platform/main.cc
--- a/repos/base-nova/src/test/platform/server.h
+++ b/repos/base-nova/src/test/platform/server.h
--- a/repos/base-nova/src/test/platform/target.mk
+++ b/repos/base-nova/src/test/platform/target.mk
@ -1,3 +1,3 @@
-TARGET = test-platform
+TARGET = test-nova
 SRC_CC = main.cc ipc.cc
 LIBS   = base-nova
--- a/tool/autopilot.list
+++ b/tool/autopilot.list
@ -60,7 +60,7 @@ nic_uplink
 nvme
 ping
 ping_nic_router
-platform
+nova
 platform_drv
 rtc
 rump_ext2