summaryrefslogtreecommitdiff
path: root/slang.h
diff options
context:
space:
mode:
authorkaizhangNV <149626564+kaizhangNV@users.noreply.github.com>2024-06-03 14:04:33 -0700
committerGitHub <noreply@github.com>2024-06-03 14:04:33 -0700
commit68bf31e586b9d1805c19dd42492086c7c780c2a4 (patch)
treee8cfb49e9240dca211e12741d6541b1218a9c045 /slang.h
parent753a524be885cf463fa6e60734aa739fcce1396f (diff)
Add an option to disable source map in obfuscation (#4260)
Add option "-disable-source-map" to disable the source map in obfuscation.
Diffstat (limited to 'slang.h')
-rw-r--r--slang.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/slang.h b/slang.h
index a758df2be..a5a0a3cff 100644
--- a/slang.h
+++ b/slang.h
@@ -864,6 +864,7 @@ extern "C"
DisableShortCircuit, // bool
MinimumSlangOptimization, // bool
DisableNonEssentialValidations, // bool
+ DisableSourceMap, // bool
// Target