added optional button to restart game (door, panel and touch variants)

[rocksndiamonds.git] / src / config.c

diff --git a/src/config.c b/src/config.c
index 8f3bd0845638167b3b8d08419c515308c765a667..8a7a5c5bb0ca1cc40265a3e3a154138fe212550b 100644 (file)
--- a/src/config.c
+++ b/src/config.c
@@ -13,6 +13,7 @@
 
 #include "config.h"
 #include "conftime.h"
+#include "confhash.h"
 
 
 char *getSourceDateString(void)
@@ -20,6 +21,11 @@ char *getSourceDateString(void)
   return SOURCE_DATE_STRING;
 }
 
+char *getSourceHashString(void)
+{
+  return SOURCE_HASH_STRING;
+}
+
 char *getProgramTitleString(void)
 {
   return program.program_title;
@@ -41,6 +47,11 @@ char *getProgramVersionString(void)
   return program.version_string;
 }
 
+char *getProgramPlatformString(void)
+{
+  return PLATFORM_STRING;
+}
+
 char *getProgramInitString(void)
 {
   static char *program_init_string = NULL;