From d9ec897b68179452917b1e538b294ef1414d79f6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 4 Jun 2008 12:36:26 +0000 Subject: [PATCH] flip mzc flag from --prim to --no-prim (update docs) svn: r10124 --- collects/scribblings/mzc/ext.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/mzc/ext.scrbl b/collects/scribblings/mzc/ext.scrbl index e7d9d2e8ae..c0c12f1dd4 100644 --- a/collects/scribblings/mzc/ext.scrbl +++ b/collects/scribblings/mzc/ext.scrbl @@ -29,7 +29,7 @@ All of the C compiler and linker flags that apply to @DFlag{cc} and @DFlag{ld} mode also apply to @DFlag{extension} mode; see @secref["cc"]. In addition, a few flag provide some control over the Scheme-to-C compiler: @as-index{@DFlag{no-prop}}, -@as-index{@DFlag{inline}}, @as-index{@DFlag{prim}}, +@as-index{@DFlag{inline}}, @as-index{@DFlag{no-prim}}, @as-index{@DFlag{stupid}}, @as-index{@DFlag{unsafe-disable-interrupts}}, @as-index{@DFlag{unsafe-skip-tests}}, and