From 9d3e1977b495685d657e7aee0c9a90ecff14d783 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Mon, 6 Nov 2017 15:08:37 +0100
Subject: Remove packaging scripts while waiting for a fix to #5998.

This is a temporary commit which should be reverted once the issue is fixed.
---
 appveyor.yml | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/appveyor.yml b/appveyor.yml
index 64c1bedb5..92fc629b3 100644
--- a/appveyor.yml
+++ b/appveyor.yml
@@ -12,20 +12,22 @@ environment:
   matrix:
   - USEOPAM: true
     ARCH: 64
-  - USEOPAM: false
-    ARCH: 32
-  - USEOPAM: false
-    ARCH: 64
+# Comment out until issue #5998 is fixed.
+#  - USEOPAM: false
+#    ARCH: 32
+#  - USEOPAM: false
+#    ARCH: 64
 
 build_script:
 - cmd: 'call %APPVEYOR_BUILD_FOLDER%\dev\ci\appveyor.bat'
 
 test: off
 
-artifacts:
-  - path: 'dev\nsis\*.exe'
-    name: installer
+# Comment out until issue #5998 is fixed.
+#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