On Fri, Sep 09, 2016 at 11:43:51AM -0400, Owen Taylor wrote: > On Tue, 2016-08-30 at 19:23 +0200, Sébastien Wilmet wrote: > > > > 1) Once a project is fully built, to re-build something I always do > > something along those lines: > > > > 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 > > Just was looking back at this thread, and wondered - what if we > (by unspecified means) made it that under 'jhbuild shell', > 'make' was a shell alias/function that ran make in the right > place in the src dir?
It is not just for the 'make' command, sometimes I want to open a generated file alongside a file from srcdir, for example for GTK-Doc (opening the 'unused' file alongside the section file, to add the new symbols). -- Sébastien _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
