From 083f0658399afc206ea0751415d54a50d2aa4fe9 Mon Sep 17 00:00:00 2001
From: Zero~Informatique
Date: Tue, 29 Jun 2021 16:53:44 +0200
Subject: compiler: updated build script with arguments matching the CI

---
 scripts/dev_win_build.cmd | 5 -----
 1 file changed, 5 deletions(-)
 delete 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
deleted file mode 100644
index ed96211..0000000
--- a/scripts/dev_win_build.cmd
+++ /dev/null
@@ -1,5 +0,0 @@
-@echo off
-cd ..\compiler\
-stack setup
-stack build
-pause
\ No newline at end of file
-- 
cgit v1.2.3