mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-18 21:27:56 +00:00
parent
eb656bf40c
commit
190d49527c
@ -219,7 +219,7 @@ INC_DIR += $(REP_DIR)/src/include \
|
||||
# generic
|
||||
#
|
||||
vers.c:
|
||||
$(VERBOSE_MK)cd $(RUMP_BASE) && /bin/sh $(RUMP_PORT_DIR)/src/sys/conf/newvers.sh -iRUMP_ROAST -n
|
||||
$(VERBOSE_MK)cd $(RUMP_BASE) && /bin/sh $(RUMP_PORT_DIR)/src/sys/conf/newvers.sh -r -iRUMP_ROAST -n
|
||||
|
||||
# trigger build
|
||||
$(SRC_O): vers.c
|
||||
|
Loading…
Reference in New Issue
Block a user