diff options
author | 2014-09-09 14:39:36 -0400 | |
---|---|---|
committer | 2014-09-09 14:39:36 -0400 | |
commit | 06857793f696cb5e3c7f2c39ad8c6dde30d7982f (patch) | |
tree | e85659e465ca9860305d77b5c794f73ef5893c33 /dev | |
parent | 0f122180329259737dd1a32b18016c045c60da2d (diff) |
Bump CoqSDK revision number
Diffstat (limited to 'dev')
-rwxr-xr-x | dev/make-sdk-win32.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/make-sdk-win32.sh b/dev/make-sdk-win32.sh index f0a024a79..8e818410f 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 |