Re: GJS internal linter

[philip chimento gmail com]

On Sat, Apr 9, 2016 at 12:08 PM <philip chimento gmail com> wrote:

Hi Andrea,

On Sat, Apr 9, 2016 at 11:31 AM Andrea Giammarchi <andrea giammarchi gmail com> wrote:

Since I've received zero answers on this one, I've assumed there was no way to do that.

I'm sure there is a way, but I just had no time to investigate this week. Sorry.

I believe the "internal linter" is a SpiderMonkey thing, not GJS, so it would be more a question of whether GJS would accept a patch to disable it.

...aaaand I found the answer in scarcely more time than it took me to reply to your email :-)

GJS_DISABLE_EXTRA_WARNINGS=1 gjs myprogram.js

https://git.gnome.org/browse/gjs/tree/gjs/jsapi-util.cpp#n88

It is indeed a SpiderMonkey feature that GJS turns on by default. Still, it would be nice to disable it per file or something.

Regards,

Philip