From 06857793f696cb5e3c7f2c39ad8c6dde30d7982f Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Tue, 9 Sep 2014 14:39:36 -0400
Subject: Bump CoqSDK revision number

---
 dev/make-sdk-win32.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/make-sdk-win32.sh b/dev/make-sdk-win32.sh
index f0a024a798..8e818410f4 100755
--- a/dev/make-sdk-win32.sh
+++ b/dev/make-sdk-win32.sh
@@ -42,7 +42,7 @@ has_spaces() {
 # http://www.dependencywalker.com/depends22_x86.zip
 
 # The SDK itself
-REVISION=1
+REVISION=2
 # support for working on computers that don't have a C: drive
 if [ -z "$BASE" ]
 then
-- 
cgit v1.2.3