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_compile_example.cmd | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 scripts/dev_win_compile_example.cmd

(limited to 'scripts/dev_win_compile_example.cmd')

diff --git a/scripts/dev_win_compile_example.cmd b/scripts/dev_win_compile_example.cmd
new file mode 100644
index 0000000..35134c0
--- /dev/null
+++ b/scripts/dev_win_compile_example.cmd
@@ -0,0 +1,10 @@
+@echo off
+SET rebuild=--rebuild
+CHOICE /M "Rebuild all ('--rebuild' argument)?"
+IF ERRORLEVEL 2 SET rebuild=
+echo.
+cd ..\compiler\
+
+@echo on
+stack exec ldgallery -- %rebuild% --clean-output -i=../example/src/ -o=../example/out/
+@pause
-- 
cgit v1.2.3