genodelabs/genode — pull request #697 by myrkr (2013-03-20 08:20:05+00:00)
Title: build.mk: Fix dependency on $(LIB_DEP_FILE)

The previous fix in 6b33757154155f92ce9513d881e32236409385ca was
invalid.