From 16ff1c8a3c1be0298a9732ed272c7ba02e2cd9d0 Mon Sep 17 00:00:00 2001
From: Zero~Informatique
Date: Sat, 2 May 2020 02:18:22 +0200
Subject: travis: renamed unwated scripts to remove them from the release

---
 scripts/dev_win_build.cmd | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 scripts/dev_win_build.cmd

(limited to 'scripts/dev_win_build.cmd')

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 @@
+@echo off
+cd ..\compiler\
+stack setup
+stack build
+pause
\ No newline at end of file
-- 
cgit v1.2.3