On Tue, Aug 30, 2016 at 07:05:49PM +0100, Emmanuele Bassi wrote: > > To compile only what I need: > > <inside git repo, in my 'build' terminal tab> > > $ jhbuild shell > > [jhbuild] $ cd src/ > > [jhbuild] $ make > > > > To re-build only a certain *.c file, to see if there are any warnings: > > [jhbuild] $ touch file.c > > [jhbuild] $ make > > If you use: > > jhbuild make > > instead of entering inside a shell, jhbuild would pick up the changes > and build in the build directory.
No, jhbuild make: - is longer to type (I need to type jhbuild shell only once); - compiles the whole module, and installs it (I prefer to run make install separately, only when needed). Btw I've filed a bug (with patches) for updating the buildroot docs: https://bugzilla.gnome.org/show_bug.cgi?id=770691 -- Sébastien _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list