From 08fc145225c22c9905828cfd693219414efa700a Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Wed, 7 Jun 2017 18:20:36 -0700
Subject: [PATCH] Correct some win64 .PHONY entries

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 60086c9a4..a4360ba45 100644
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,7 @@ RGT_VERSION ?= $(shell cd $(SRC_RGT); git describe --tags | sed s/^v//g)
 ROCD_VERSION ?= $(shell cd $(SRC_ROCD); git describe --tags | sed s/^v//g)
 
 # The actual output of this repository is a set of tarballs.
-.PHONY: windows windows-openocd windows-gcc
+.PHONY: win64 win64-openocd win64-gcc
 win64: win64-openocd win64-gcc
 win64-gcc: $(BINDIR)/riscv64-unknown-elf-gcc-$(RGT_VERSION)-$(WIN64).zip
 win64-gcc: $(BINDIR)/riscv64-unknown-elf-gcc-$(RGT_VERSION)-$(WIN64).tar.gz