v3.1.x

[Matthew Newton]

On Tue, Jun 07, 2016 at 09:09:57PM +0000, A.L.M.Buxey at 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 at 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 at le.ac.uk>