Revert "Remove the "lib/%" rule."

This reverts commit 6fc43ddaf6048edc67c00ea258ffbbcbded631b0.

I didn't think this through before pushing it.

diff --git a/Makefile b/Makefile
index b97d33c5fca750217427001dd922ad1fd9f00ca6..f79244951cad59271544440a8992009aab450a9d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -554,6 +554,10 @@ test: test-all
 .PHONY: test-clean
 test-clean: test-all-clean
 
+lib/%:
+       git submodule sync $?
+       git submodule update --init $?
+
 git-submodule:
        git submodule sync --recursive
        git submodule update --init --recursive