> Am 18.05.2015 um 18:00 schrieb Fred Kiefer <fredkie...@gmx.de>: > > Does this require a re-release of back? I always use a make distclean before > any configure and we recommend this for everybody. In which specific case > would you be affected?
The released source needlessly runs configure everytime you execute the make command. That is particularly annoying when you use sudo make install because it creates files owned by root in the current directory. Packagers might be offended by the needless configure run if they use something similar to make && make install. I'm not sure if that does justify a re-release of back though. Wolfgang _______________________________________________ Discuss-gnustep mailing list Discuss-gnustep@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnustep