Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix otherlibs/Makefile (follow-up to #11160).
In this file, the clean targets depend on the OTHERLIBRARIES variable. However, this variable is defined in `Makefile.config`, which is not included when make is called for cleaning, so that the clean does actually not happen (OTHERLIBRARIES being empty in that case).
- Loading branch information