8 Jun
2016
8 Jun
'16
2:02 p.m.
On 7 Jun 2016, at 22:20, Matthew Newton <mcn4@leicester.ac.uk> wrote:
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. :-)
at this point you might as well $ rm -rf freeradius-server $ git pull https://github.com/FreeRADIUS/freeradius-server.git ;-)