Update docs for artifact JSON debuginfo levels.

rust-lang · Jul 19, 2023 · b009d28 · b009d28
1 parent 1b15556
commit b009d28
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/doc/src/reference/external-tools.md b/src/doc/src/reference/external-tools.md
@@ -159,7 +159,8 @@ following structure:
     "profile": {
         /* The optimization level. */
         "opt_level": "0",
-        /* The debug level, an integer of 0, 1, or 2. If `null`, it implies
+        /* The debug level, an integer of 0, 1, or 2, or a string
+           "line-directives-only" or "line-tables-only". If `null`, it implies
            rustc's default of 0.
         */
         "debuginfo": 2,