1258945SrobertoUlrich Windl <Ulrich.Windl@rz.uni-regensburg.de>:
2258945Sroberto	Any change in a source file in the lib directory causes all files to
3258945Sroberto	be recompiled (because the objects are removed). Add a better rule for
4258945Sroberto	make to update the library. Maybe just remove "-rm -f $?".
5