rcx

commit 9d52b938b2d842045bd190f07cb018591adac68d
parent ec12b9cf265b44e20e6fb59a8adfebb029a85bca
Author: Robert Russell <robertrussell.72001@gmail.com>
Date:   Fri,  2 Sep 2022 11:11:18 -0700

Use curl instead of wget

Diffstat:
M
Makefile
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -29,7 +29,7 @@ gen/ucattab.inc: gen tool/ucattab gen/UnicodeData.txt
 	tool/ucattab gen/UnicodeData.txt > $@
 
 gen/UnicodeData.txt: gen
-	wget -q -O $@ $(UNICODE_DATA_URL)
+	curl --silent $(UNICODE_DATA_URL) > $@
 	@touch $@  # Downloaded file has mod time from when it was created
 
 gen: