From 56caa2c1e46f948c9aa54ce1267a420044975f70 Mon Sep 17 00:00:00 2001 From: ccremers Date: Tue, 1 Feb 2005 19:39:03 +0000 Subject: [PATCH] - Fixed the svn version number registering. Still needs some work though, as the -SVNVERSION thing only needs to be passed to the builder of main.c. --- src/main.c | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/src/main.c b/src/main.c index a8c4e76..95ed699 100644 --- a/src/main.c +++ b/src/main.c @@ -84,11 +84,7 @@ const char *progname = "scyther"; * Note that this is only referenced in the help output of the commandline program. * \todo Come up with a useful solution for release names. */ -#ifdef SVNCHANGED -const char *releasetag = SVNVERSION " [modified]"; -#else const char *releasetag = SVNVERSION; -#endif //! The number of seconds a test is allowed to run static int time_limit_seconds; @@ -270,9 +266,9 @@ main (int argc, char **argv) { printf ("'%s' model checker for security protocols.\n", progname); #ifdef DEBUG - printf ("%s, compiled with debugging support.\n", releasetag); + printf ("Revision %s, compiled with debugging support.\n", releasetag); #else - printf ("%s\n", releasetag); + printf ("Revision %s\n", releasetag); #endif printf ("December 2003--, Cas Cremers\n"); exitcode = 0;