On 11/02/2017 08:15 PM, Pascal via Gnoga-list wrote: > I remember you wrote that you made git pull. > That does not clean unused files that are obsolete. > I suggest you to start from a fresh new directory and then do a git clone and > then a git checkout before make all.
A minor version release shouldn't require such drastic actions. Sounds as if 1.3 is still beta. -- Jeff Carter "I've seen projects fail miserably for blindly applying the Agile catechism: we're Agile, we don't need to stop and think, we just go ahead and code!" Bertrand Meyer 150 ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Gnoga-list mailing list Gnoga-list@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/gnoga-list