Re: Separating build tree from the source tree

How about, in the source directory:

git clean -dfx

or perhaps with -X instead. You can use -n instead of -f to see what it'd do. Thanks! I inspected the Makefile and it turns out that there is no need for a workaround:

make maintainer-clean does the job. Janek