Fixes for win32

[splint.git] / src / Makefile.am

diff --git a/src/Makefile.am b/src/Makefile.am
index 1cc81f32f39628dfed250febbd6d07ad0d677b10..317310dc9b77f906f2b94b70a4bb2591e974b3e1 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -384,6 +384,10 @@ nocheck:
 test:
        ${MAKE} ; cd ../test; ${MAKE} --no-print-directory
 
+.PHONY: libs
+libs:
+       ${MAKE} ; cd ../lib; ${MAKE} --no-print-directory
+
 ### Automake generates wrong tags
 .PHONY: etags
 etags: