Publish core-nova.o in dev output

2019-10-07 23:05:46 +02:00 · 2019-10-07 23:05:46 +02:00 · ecd0252b40
parent 4921168eda
commit ecd0252b40
1 changed files with 2 additions and 1 deletions
--- a/repos/base-nova/src/core/Tupfile
+++ b/repos/base-nova/src/core/Tupfile
@ -54,4 +54,5 @@ LDFLAGS += -L$(LIB_DIR) `$(PKG_CONFIG) --libs cxx-baremetal startup`
 	$(REP_DIR)/<base-common> \
 |> $(LD) $(LDFLAGS) -u _start -r \
 	%<base-libs> %<base-common> %f -o %o \
-|> core.o $(REP_DIR)/<core>
+|> core.o $(REP_DIR)/<core> {core}
+: {core} |> cp %f %o |> $(DEV_DIR)/lib/core-nova.o