From a717d9cc2a77dbbeeecca5c46b9aadfc4b9518f3 Mon Sep 17 00:00:00 2001
From: yinchuang <yinchuang@huawei.com>
Date: Thu, 21 Jul 2022 15:24:02 +0800
Subject: [PATCH] add --no-devtool for webpack

Signed-off-by: yinchuang <yinchuang@huawei.com>
---
 ts2panda/scripts/run.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ts2panda/scripts/run.py b/ts2panda/scripts/run.py
index c405cf71ce..039c92e584 100755
--- a/ts2panda/scripts/run.py
+++ b/ts2panda/scripts/run.py
@@ -110,6 +110,8 @@ def npm_run_build(options):
 
     cmd = [webpack,  '--config', 'webpack.config.js', '--progress',
            '--env', 'buildMode={}'.format(options.buildMode)]
+    if os.getenv("NO_DEVTOOL"):
+        cmd += ['--no-devtool']
     run_command(cmd, options.dist_dir)
     if plat_form == "linux":
         per_platform_config(options, "build")
-- 
Gitee