On 08/16/2018 06:08 PM, Pascal via Gnoga-list wrote:
> 
> I see now what it is:
> All the above untracked files are probably remain ones from previous version 
> dev_1.3 before checkout of dev_1.4 (as there were copied by makefiles of 1.3 
> now in 1.4 it's no more the case).
> When you did git checkout, these files were not removed.
> I don't know if specific git options exist to remove them automatically, do 
> you?
> Otherwise you have to remove them manually.

Removing the untracked files allowed "make all" to succeed. I don't know any way
to have git remove untracked files. It would be useful.

I note that Plotting.Graph doesn't have the change to make it faster. Did I not
submit that?

-- 
Jeff Carter
"English bed-wetting types."
Monty Python & the Holy Grail
15

------------------------------------------------------------------------------
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
[email protected]
https://lists.sourceforge.net/lists/listinfo/gnoga-list

Reply via email to