more 'logical' renaming of build dirs, write configure output also to a file.
To me, the renaming of the build dir after rerun of configure.sh seems arbitrary. Would it not be better to have some 'logical' structuring of older build dirs, that one wants to keep? i.e Change it to a date, time or just increasing integer. Right now one always as to do ls -l and check what was my second recent build. Also I find it quit hard to figure what kind of fleur I have build in an older build dir. It might be nice, to just write the configure output also to a file in the build dir, getting this information in 'one' view again later. What do you think?