diff --git a/repos/pc/lib/mk/wifi.inc b/repos/pc/lib/mk/wifi.inc index 2115410fd8..1510384a19 100644 --- a/repos/pc/lib/mk/wifi.inc +++ b/repos/pc/lib/mk/wifi.inc @@ -47,7 +47,7 @@ vpath %.cc $(REP_DIR)/src/lib/pc vpath %.c $(TARGET_LIB_DIR) vpath %.cc $(TARGET_LIB_DIR) -CUSTOM_TARGET_DEPS += $(TARGET_LIB_DIR)/symbol.map +$(LIB).lib.so: $(TARGET_LIB_DIR)/symbol.map # # Genode C-API backends