From 9c2af5dcd2d2c8754e4c74e02141822c0964a5a8 Mon Sep 17 00:00:00 2001 From: Zero~Informatique Date: Thu, 13 Feb 2020 16:30:38 +0100 Subject: moved utility scripts to their dedicated folder --- scripts/win_build.cmd | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 scripts/win_build.cmd (limited to 'scripts/win_build.cmd') diff --git a/scripts/win_build.cmd b/scripts/win_build.cmd new file mode 100644 index 0000000..ed96211 --- /dev/null +++ b/scripts/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