From 00828a9eb902ab0d39cb7e1db45a19efa9130a00 Mon Sep 17 00:00:00 2001 From: vczh Date: Sat, 6 Jan 2024 01:13:40 -0800 Subject: [PATCH] Update README.md --- Tools/README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Tools/README.md b/Tools/README.md index 3edbabee..63929bf9 100644 --- a/Tools/README.md +++ b/Tools/README.md @@ -19,6 +19,8 @@ - GacGen - GlrParserGen +**NOTE** Optimization is not turned on at this moment, tool performance could be slow especially for GacGen. You could change the makefile if you need to. + ## macOS (editing...)