Arsen Arsenović wrote: > > If you do this, you lose an interesting use-case: Imagine a developer > > who makes changes to jitter (maybe Luca himself) and wants to test the > > changes with different versions of poke (which reside in different > > directories). > > But wouldn't Luca just run something like: > > ./autogen.sh --jitter-srcdir="$HOME/gnu/jitter-experimental" > > in that case?
Exactly, that's the point. Does he do it like this always, and what if he forgets it once? That is, if in one of his poke checkouts he runs ./autopull.sh --jitter-srcdir="$HOME/gnu/jitter-experimental" ./autogen.sh Will he get a mix of derived files from $HOME/gnu/jitter-experimental and ./jitter (with likely breakage)? Or is the directory name $HOME/gnu/jitter-experimental being remembered somewhere, making it unnecessary to repeat it? Bruno
