aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rw-r--r--scripts/dev_win_build.cmd5
-rw-r--r--scripts/dev_win_build_compiler.cmd5
2 files changed, 5 insertions, 5 deletions
diff --git a/scripts/dev_win_build.cmd b/scripts/dev_win_build.cmd
deleted file mode 100644
index ed96211..0000000
--- a/scripts/dev_win_build.cmd
+++ /dev/null
@@ -1,5 +0,0 @@
1@echo off
2cd ..\compiler\
3stack setup
4stack build
5pause \ No newline at end of file
diff --git a/scripts/dev_win_build_compiler.cmd b/scripts/dev_win_build_compiler.cmd
new file mode 100644
index 0000000..d88aa5d
--- /dev/null
+++ b/scripts/dev_win_build_compiler.cmd
@@ -0,0 +1,5 @@
1@echo off
2cd ..\compiler\
3stack setup
4stack build --flag ldgallery-compiler:portable --copy-bins --local-bin-path dist
5pause