Cyrus says:
We've come across a small issue with the makefile lib where if you remove some deprecated source file from the file system and makefile, then 'make' wont do anything and just return a non-zero exit code (verbose mode does not show anything). One then has to do a 'make clean' before attempting a 'make'.