Re: gdm/gnome shell js problem was Re: Which mozjs-52 to use

[tjoen <tjoen dds nl>]

On Tue, 2017-09-26 at 19:41 +0000, philip chimento gmail com wrote:
> On Tue, Sep 26, 2017 at 11:11 AM tjoen <tjoen dds nl> wrote:
> > Then system tries to start
> > gdm-x-session[635] ending with
> > gnome-shell[678]: JS ERROR: Error: Requiring GjsPrivate, version
> > none
>
> You mentioned in your earlier mail that you disabled building
> GjsPrivate. As Giovanni said, that's not an optional component.

I see that I didn't remove the sed line
sed -i 's/INTROSPECTION_GIRS = GjsPrivate-1.0.gir/INTROSPECTION_GIRS
=/g' Makefile.in

Thanks for reminding.