diff --git a/src/OutputMgr.cpp b/src/OutputMgr.cpp index 01c0d486a..427385199 100644 --- a/src/OutputMgr.cpp +++ b/src/OutputMgr.cpp @@ -362,9 +362,9 @@ OutputMgr::OutputHeader(int argc, char *argv[], unsigned long seed) out << " * This is a RANDOMLY GENERATED PROGRAM." << endl; out << " *" << endl; out << " * Generator: " << PACKAGE_STRING << endl; - #ifdef SVN_VERSION - out << " * svn version: " << SVN_VERSION << endl; - #endif +#ifdef GIT_VERSION + out << " * Git version: " << GIT_VERSION << endl; +#endif out << " * Options: "; if (argc <= 1) { out << " (none)"; diff --git a/src/RandomProgramGenerator.cpp b/src/RandomProgramGenerator.cpp index 5d52ba71e..cb8a62315 100644 --- a/src/RandomProgramGenerator.cpp +++ b/src/RandomProgramGenerator.cpp @@ -107,10 +107,9 @@ static void print_version(void) { cout << PACKAGE_STRING << endl; -#ifdef SVN_VERSION - cout << "svn version: " << SVN_VERSION << endl; +#ifdef GIT_VERSION + cout << "Git version: " << GIT_VERSION << endl; #endif - // XXX print svn rev! // XXX print copyright, contact info, etc.? }