diff options
| -rw-r--r-- | desktop/version.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/desktop/version.c b/desktop/version.c index 008760015..6126c5b99 100644 --- a/desktop/version.c +++ b/desktop/version.c @@ -20,6 +20,11 @@ #include "desktop/version.h" -const char * const netsurf_version = "3.7 (15th October 2017)"; +const char * const netsurf_version = "3.7 (Dev" +#if defined(CI_BUILD) + " CI #" CI_BUILD +#endif + ")" + ; const int netsurf_version_major = 3; const int netsurf_version_minor = 7; |