On Tue, 31 Mar 2020 at 13:24, Kevin Wolf <[email protected]> wrote: > > Am 31.03.2020 um 14:05 hat Peter Maydell geschrieben: > > On Tue, 31 Mar 2020 at 13:02, Kevin Wolf <[email protected]> wrote: > > > Mainly because it allows me to start everything (most importantly: my > > > editor, git and make) from the same directory. > > > > You can use 'make -C build/whatever' to avoid having to change directory. > > Which is about five times as long as 'make'.
True; but once you've done it once then the second time is usually C-r <some letters from the last command> RET to pull it out of the shell history. (Usually I run something like 'make -C build/foo -j8 && make -C build/foo -j8 check && make -C build/foo check-acceptance', which I'm definitely not typing out every time.) > I'm not sure what the problem would be with a Makefile in the source > tree that just calls make in the build directory? It's convenient and > doesn't hurt anyone who prefers to work directly in the build directory. I don't object to it particularly; I'm just mentioning that you don't need to cd all over the place if you do decide to switch to using build dirs. (I think the main benefit of build dirs is that you get to have more than one at once, at which point you need to specify which one you meant somehow.) thanks -- PMM
