7 Jun
2016
7 Jun
'16
5:20 p.m.
On Tue, Jun 07, 2016 at 09:09:57PM +0000, A.L.M.Buxey@lboro.ac.uk wrote:
ignore..... did a full clean ... now works :)
My usual recipe (at root of git tree) $ rm -rf * $ git reset --hard HEAD (if building dpkgs, also rm -rf .pc) If head changes, easiest (though probably not the most "correct") is to just $ git fetch origin $ rm -rf * $ git reset --hard origin/v3.1.x It includes an "rm -rf". And a "git reset --hard". You have been suitably warned. Twice. :-) Matthew -- Matthew Newton, Ph.D. <mcn4@le.ac.uk> Systems Specialist, Infrastructure Services, I.T. Services, University of Leicester, Leicester LE1 7RH, United Kingdom For IT help contact helpdesk extn. 2253, <ithelp@le.ac.uk>