From 84cc70cebf11d28e0bcde36a8fd0d17e51f4bac3 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 15 Dec 2017 15:34:18 +0100
Subject: Re-enable package building and artefact storage.

---
 appveyor.yml | 20 +++++++++-----------
 1 file changed, 9 insertions(+), 11 deletions(-)

diff --git a/appveyor.yml b/appveyor.yml
index 82f354c2e6..64c1bedb54 100644
--- a/appveyor.yml
+++ b/appveyor.yml
@@ -10,11 +10,10 @@ image:
 environment:
   CYGMIRROR: http://ftp.inf.tu-dresden.de/software/windows/cygwin32
   matrix:
-#  - USEOPAM: true
-#    ARCH: 64
-# Comment out until issue #5998 is fixed.
-#  - USEOPAM: false
-#    ARCH: 32
+  - USEOPAM: true
+    ARCH: 64
+  - USEOPAM: false
+    ARCH: 32
   - USEOPAM: false
     ARCH: 64
 
@@ -23,11 +22,10 @@ build_script:
 
 test: off
 
-# Comment out until issue #5998 is fixed.
-#artifacts:
-#  - path: 'dev\nsis\*.exe'
-#    name: installer
+artifacts:
+  - path: 'dev\nsis\*.exe'
+    name: installer
 
-#  - path: 'coq-opensource-archive-*.zip'
-#    name: opensource-archive
+  - path: 'coq-opensource-archive-*.zip'
+    name: opensource-archive
 
-- 
cgit v1.2.3