diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2018-05-19 22:52:40 +0200 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2018-05-19 22:52:40 +0200 |
commit | 6f5b40ff5b8d07dcf1d037d5018241740a83c11a (patch) | |
tree | 2ba7c4646b3b7e0ae263dc328d10d3f35e1a696a /compiler | |
parent | 5d895751b42d1af811c7b620b8f6966db470b20a (diff) | |
download | vala-6f5b40ff5b8d07dcf1d037d5018241740a83c11a.tar.gz |
compiler: Warn if --gir is used without --library
https://bugzilla.gnome.org/show_bug.cgi?id=708693
Diffstat (limited to 'compiler')
-rw-r--r-- | compiler/valacompiler.vala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/valacompiler.vala b/compiler/valacompiler.vala index 733db4526..c2f73c17e 100644 --- a/compiler/valacompiler.vala +++ b/compiler/valacompiler.vala @@ -468,6 +468,11 @@ class Vala.Compiler { } library = null; + } else { + if (gir != null) { + Report.warning (null, "--gir has no effect without --library"); + gir = null; + } } // The GIRWriter places the gir_namespace and gir_version into the top namespace, so write the vapi after that stage |