diff options
| author | Rico Tzschichholz <ricotz@ubuntu.com> | 2020-07-08 11:42:02 +0200 |
|---|---|---|
| committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2020-11-05 19:38:32 +0100 |
| commit | dbe3e730690176d96078abf0ca1e9756c8d903b2 (patch) | |
| tree | 797220b39c82d6d3c8a26d638ed8347fcc23c172 /valadoc | |
| parent | 3c9f1cb62c48623c10543dad1325f797385366b7 (diff) | |
| download | vala-dbe3e730690176d96078abf0ca1e9756c8d903b2.tar.gz | |
Perform runtime version check of libvala
Fixes https://gitlab.gnome.org/GNOME/vala/issues/88
Diffstat (limited to 'valadoc')
| -rw-r--r-- | valadoc/valadoc.vala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/valadoc/valadoc.vala b/valadoc/valadoc.vala index 175bbdd9d..68d8b8fa4 100644 --- a/valadoc/valadoc.vala +++ b/valadoc/valadoc.vala @@ -398,6 +398,11 @@ public class ValaDoc : Object { static int main (string[] args) { Intl.setlocale (LocaleCategory.ALL, ""); + if (Vala.get_build_version () != Vala.BUILD_VERSION) { + stderr.printf ("Integrity check failed (libvala %s doesn't match valadoc %s)\n", Vala.get_build_version (), Vala.BUILD_VERSION); + return 1; + } + try { var opt_context = new OptionContext ("- Vala Documentation Tool"); opt_context.set_help_enabled (true); |