projects
/
rocksndiamonds.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
added storing current level set identifier in caveset structure
[rocksndiamonds.git]
/
src
/
config.c
diff --git
a/src/config.c
b/src/config.c
index d50ba68470e9a0cbd30b1584c3b125335f3c77d0..8a7a5c5bb0ca1cc40265a3e3a154138fe212550b 100644
(file)
--- a/
src/config.c
+++ b/
src/config.c
@@
-47,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;