From 6251e81545684f02f6f4d3904cdc21d007a2cb05 Mon Sep 17 00:00:00 2001 From: YAMAMOTO Takashi Date: Mon, 27 Jan 2020 15:23:19 +0900 Subject: [PATCH] Makefile: Update a comment --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 9d14291ce9..cf40d03d9b 100644 --- a/Makefile +++ b/Makefile @@ -37,8 +37,8 @@ # Makefile. If you already know the Makefile that you want, you can skip # this nonsense using: # -# make -f Makefile.unix, OR -# make -f Makefile.win +# make -f tools/Makefile.unix, OR +# make -f tools/Makefile.win # -include .config