diff --git a/collects/compiler/commands/ctool.rkt b/collects/compiler/commands/ctool.rkt
index 98570483c2..b0686e6ac2 100644
--- a/collects/compiler/commands/ctool.rkt
+++ b/collects/compiler/commands/ctool.rkt
@@ -210,6 +210,13 @@
           (printf "C compiler flags: ~s\n"
                   (expand-for-link-variant (current-extension-preprocess-flags))))
        ("Show C preprocess (xform) flags")]]
+     [help-labels
+      "----------------------- C-embeddable module flags ---------------------------"]
+     [multi
+      [("++lib")
+       ,(lambda (f l)
+          (exe-embedded-libraries (append (exe-embedded-libraries) (list l))))
+       ("Embed <lib> in --c-mods output" "lib")]]
      [help-labels
       "-------------------- -c/-e compiler optimization flags ----------------------"]
      [once-each