> From: Paul Smith <psm...@gnu.org>
> Cc: bug-make@gnu.org
> 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
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
