On Thu, 1 Feb 2001, Roumen Petrov wrote: > Ben this is patch for makefile ( CVS 01 feb 2001 ). > This patch stop rebuild of executables if nothing is changed and make > is run again. > Thanks, Applied. - Ben