diff options
author | pacien | 2020-05-02 04:11:24 +0200 |
---|---|---|
committer | pacien | 2020-05-02 04:11:24 +0200 |
commit | 8e3ac8fe44bebb38e1882ca7f06b8100078ad88d (patch) | |
tree | a748fa1e639cb3b5e1f24a8150e89dbb28c980cb /scripts/dev_win_build.cmd | |
parent | 7042ffc06326fa8ffe70f5a59747709250166c16 (diff) | |
parent | 0e0b5b0ae44da7c1d67983dedd8f8d8d3516236f (diff) | |
download | ldgallery-8e3ac8fe44bebb38e1882ca7f06b8100078ad88d.tar.gz |
Merge branch 'develop': release v1.0v1.0
Diffstat (limited to 'scripts/dev_win_build.cmd')
-rw-r--r-- | scripts/dev_win_build.cmd | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/dev_win_build.cmd b/scripts/dev_win_build.cmd new file mode 100644 index 0000000..ed96211 --- /dev/null +++ b/scripts/dev_win_build.cmd | |||
@@ -0,0 +1,5 @@ | |||
1 | @echo off | ||
2 | cd ..\compiler\ | ||
3 | stack setup | ||
4 | stack build | ||
5 | pause \ No newline at end of file | ||