@echo '//automatically generated compilation info' > $@
@echo '//!!! DO NOT EDIT THIS FILE !!!' >> $@
@echo '//add changes in Makefile.am' >> $@
- @echo 'extern "C" void CompileInfo( char*& date, char*& time)' >> $@
+ @echo 'extern "C" void CompileInfo(const char*& date, const char*& time)' >> $@
@echo '{date=__DATE__; time=__TIME__; return;}' >> $@