aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2017-11-19 12:28:28 +0100
committerLoïc Hoguin <[email protected]>2017-11-19 12:28:28 +0100
commite58460252ef758042b69f87f36e1ce4033463659 (patch)
tree21486b7ff05f5bb4464fcbca3e90e5628e2fb264 /Makefile
parentbf16cd9149f0df503c991f791a3170e08f0c7c6f (diff)
downloadgun-e58460252ef758042b69f87f36e1ce4033463659.tar.gz
gun-e58460252ef758042b69f87f36e1ce4033463659.tar.bz2
gun-e58460252ef758042b69f87f36e1ce4033463659.zip
Add AUTO_CI_WINDOWS variable
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 5cb4ccb..eb83ec1 100644
--- a/Makefile
+++ b/Makefile
@@ -27,6 +27,7 @@ DEP_EARLY_PLUGINS = ci.erlang.mk
AUTO_CI_OTP ?= OTP-19+
AUTO_CI_HIPE ?= OTP-LATEST
# AUTO_CI_ERLLVM ?= OTP-LATEST
+AUTO_CI_WINDOWS ?= OTP-19+
# Standard targets.