From: Johann Klammer <klammerj@a1.net>
Date: Sat, 4 Aug 2018 13:17:43 +0000
Subject: Remove the __TIME__ etc macros

Otherwise the debian package checking complains...
===================================================================
---
 src/base/cmd/cmdUtils.c   | 2 +-
 src/base/main/mainUtils.c | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git src/base/cmd/cmdUtils.c src/base/cmd/cmdUtils.c
index 3409543..9b7223f 100644
--- a/src/base/cmd/cmdUtils.c
+++ b/src/base/cmd/cmdUtils.c
@@ -589,7 +589,7 @@ void CmdCommandPrint( Abc_Frame_t * pAbc, int fPrintAll, int fDetails )
     nColumns = 79 / (LenghtMax + 2);
 
     // print the starting message 
-    fprintf( pAbc->Out, "      Welcome to ABC compiled on %s %s!", __DATE__, __TIME__ );
+    fprintf( pAbc->Out, "      Welcome to ABC!");
 
     // print the command by group
     sGroupCur = NULL;
diff --git src/base/main/mainUtils.c src/base/main/mainUtils.c
index d1fe1d2..3668f3b 100644
--- a/src/base/main/mainUtils.c
+++ b/src/base/main/mainUtils.c
@@ -52,7 +52,7 @@ static char * DateReadFromDateString( char * datestr );
 char * Abc_UtilsGetVersion( Abc_Frame_t * pAbc )
 {
     static char Version[1000];
-    sprintf(Version, "%s (compiled %s %s)", ABC_VERSION, __DATE__, __TIME__);
+    sprintf(Version, "%s", ABC_VERSION);
     return Version;
 }
 
