Add missing backendOptions keys to documentation

2025-12-27 09:23:52 -05:00 · 2020-06-23 04:57:46 +02:00
parent 82d89c7ad6
commit 790702f0ed
1 changed files with 4 additions and 1 deletions
--- a/docs/API.md
+++ b/docs/API.md
@@ -54,7 +54,10 @@ To specify a compilation request as a JSON document, post it as the appropriate
    "source": "Source to compile",
    "options": {
        "userArguments": "Compiler flags",
-        "compilerOptions": {},
+        "compilerOptions": {
+              "skipAsm": false,
+              "executorRequest": false
+        },
        "filters": {
             "binary": false,
             "commentOnly": true,