aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xci.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci.sh b/ci.sh
index eba0bda..85d2032 100755
--- a/ci.sh
+++ b/ci.sh
@@ -36,7 +36,7 @@ gend
do_plugin () {
-# To build latest GHDL from sources, uncomment the following line and replace --from=pkg-ghdl below with --from=tmp
+# To build latest GHDL from sources, uncomment the following line
#do_ghdl
gstart "[Build] ghdl/synth:beta" "$ANSI_MAGENTA"