Add the name of the executable to the banner printed to standard out.

git-svn-id: http://svn.cactuscode.org/flesh/trunk@2566 17b73243-c579-4c4c-a9d2-2d5706c11dac

1 files changed, 3 insertions, 0 deletions

diff --git a/src/main/Banner.c b/src/main/Banner.c
index 896f9c1a..c463ebda 100644
--- a/src/main/Banner.c
+++ b/src/main/Banner.c
@@ -73,6 +73,7 @@ static const char *delimiter = "------------------------------------------------
 @@*/
 void CCTKi_CactusBanner (void)
 {
+  char ***commandargs;
   char buffer[DATALENGTH+1];
   const char *banner = "       10                                  \n"
                        "  1   0101       ************************  \n"
@@ -97,6 +98,8 @@ void CCTKi_CactusBanner (void)
   printf (" (%s)\n", buffer);
   Util_GetHostName (buffer, DATALENGTH);
   printf ("Run host:       %s\n", buffer);
+  CCTK_CommandLine(commandargs);
+  printf ("Executable:     %s\n",*commandargs[0]);
   CCTK_ParameterFilename (DATALENGTH, buffer);
   printf ("Parameter file: %s\n", buffer);