diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2019-01-18 14:19:54 +0100 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2019-01-18 14:19:54 +0100 |
commit | d8e810680f370fac7e9a5e80f8d94316707625c2 (patch) | |
tree | 0871d55a870d38f41d1ec7d849627e8400a690e9 /compiler | |
parent | 3f530cdf71d1a7709a1786eddf8fbe34ca963e64 (diff) | |
download | vala-d8e810680f370fac7e9a5e80f8d94316707625c2.tar.gz |
compiler: Report deprecated command-line option "--thread"
Diffstat (limited to 'compiler')
-rw-r--r-- | compiler/valacompiler.vala | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/compiler/valacompiler.vala b/compiler/valacompiler.vala index e0b02060e..476093e7e 100644 --- a/compiler/valacompiler.vala +++ b/compiler/valacompiler.vala @@ -65,7 +65,6 @@ class Vala.Compiler { static bool compile_only; static string output; static bool debug; - static bool thread; static bool mem_profiler; static bool disable_assert; static bool enable_checking; @@ -129,7 +128,7 @@ class Vala.Compiler { { "compile", 'c', 0, OptionArg.NONE, ref compile_only, "Compile but do not link", null }, { "output", 'o', 0, OptionArg.FILENAME, ref output, "Place output in file FILE", "FILE" }, { "debug", 'g', 0, OptionArg.NONE, ref debug, "Produce debug information", null }, - { "thread", 0, 0, OptionArg.NONE, ref thread, "Enable multithreading support (DEPRECATED AND IGNORED)", null }, + { "thread", 0, OptionFlags.OPTIONAL_ARG, OptionArg.CALLBACK, (void*) option_deprecated, "Enable multithreading support (DEPRECATED AND IGNORED)", null }, { "enable-mem-profiler", 0, 0, OptionArg.NONE, ref mem_profiler, "Enable GLib memory profiler", null }, { "define", 'D', 0, OptionArg.STRING_ARRAY, ref defines, "Define SYMBOL", "SYMBOL..." }, { "main", 0, 0, OptionArg.STRING, ref entry_point, "Use SYMBOL as entry point", "SYMBOL..." }, @@ -176,6 +175,11 @@ class Vala.Compiler { return true; } + static bool option_deprecated (string option_name, string? val, void* data) throws OptionError { + stdout.printf ("Command-line option `%s` is deprecated and will be ignored\n", option_name); + return true; + } + private int quit () { if (context.report.get_errors () == 0 && context.report.get_warnings () == 0) { return 0; |