From b7d505c2e2056b739da043ae685f7563ff035057 Mon Sep 17 00:00:00 2001
From: Ralph Lange <ralph.lange@gmx.de>
Date: Thu, 26 Mar 2020 16:14:28 +0100
Subject: [PATCH] appveyor: use '/' in RELEASE.local paths

---
 appveyor/do.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/appveyor/do.py b/appveyor/do.py
index 7071c85..e848200 100644
--- a/appveyor/do.py
+++ b/appveyor/do.py
@@ -131,7 +131,7 @@ def source_set(name):
 # Set places[var] = location
 def update_release_local(var, location):
     release_local = os.path.join(cachedir, 'RELEASE.local')
-    updated_line = '{0}={1}'.format(var, location)
+    updated_line = '{0}={1}'.format(var, location.replace('\\', '/'))
     places[var] = location
 
     if not os.path.exists(release_local):