include "dev" in "version" command for development builds (CO_DEVBUILD)

rsms · Mar 28, 2023 · a92e317 · a92e317
1 parent 962b044
commit a92e317
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/main.c b/src/main.c
@@ -89,6 +89,9 @@ static int usage(FILE* f) {
 void print_co_version() {
   printf(
     "compis " CO_VERSION_STR " ("
+    #ifdef CO_DEVBUILD
+      "dev "
+    #endif
     #if defined(CO_VERSION_GIT) && !defined(CO_DISTRIBUTION)
       "src=" CO_STRX(CO_VERSION_GIT) " "
     #endif