Fix "make texvccheck" in top-level Makefile
As texvccheck is a directory, make always considered the target texvccheck to be up-to-date, thus never invocating make in the subdirectory itself. This change marks texvccheck as a .PHONY target, causing make to compile texvccheck in the subdirectory. Change-Id: Ib758965c1eb53e1f7221e304fc808dc68136a219
This commit is contained in:
parent
513372bae2
commit
698f2c9fec