@echo '***************************************************************'
@echo '* Compile nitc from NIT source files *'
@echo '***************************************************************'
@echo '***************************************************************'
@echo '* Compile nitc from NIT source files *'
@echo '***************************************************************'