Update deploy.sh

pwnsky · Nov 2, 2024 · 819e08d · 819e08d
1 parent 6dd20b6
commit 819e08d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tools/gen_deploy.sh b/tools/gen_deploy.sh
@@ -24,6 +24,10 @@ mkdir -p deploy/res
 cp -r res/XlsxXML deploy/res/XlsxXML
 cp -r res/Proto deploy/res/Proto
 
+mkdir -p deploy/tools
+cp -r tools/flamegraph deploy/tools
+cp -r tools/binary_strip.sh deploy/tools
+
 # copy lib
 echo "Deploy for $LinuxDistro"
 if [ $LinuxDistro == "Debian" ] || [ $LinuxDistro == "Ubuntu" ] || [ $LinuxDistro == "Raspbian" ]; then