> From: Paul Smith <[email protected]>
> Cc: [email protected]
> Date: Mon, 23 Sep 2013 13:02:20 -0400
> 
>   rm -rf test/scripts/options/dash-*
>   git pull
>   git reset --hard
> 
> "git status" should now show no changes.  Let me know if that doesn't
> help.  You should definitely not have any local changes before you try
> this ("git stash" them first if you do).

OK, this worked, thanks.

_______________________________________________
Bug-make mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-make

Reply via email to