diff --git a/desktop_version/src/main.cpp b/desktop_version/src/main.cpp index 1280c5d1..ab42ce5f 100644 --- a/desktop_version/src/main.cpp +++ b/desktop_version/src/main.cpp @@ -383,7 +383,15 @@ int main(int argc, char *argv[]) VVV_exit(1); \ } - if (ARG("-renderer")) + if (ARG("-version")) + { + /* Just print the version and exit. No vlogging. */ + /* TODO: Version should be de-duplicated and only set in one place... TwT */ + /* TODO: Also print commit date and hash, if applicable. */ + puts("VVVVVV v2.4"); + VVV_exit(0); + } + else if (ARG("-renderer")) { ARG_INNER({ i++;