adjust version number

This commit is contained in:
VincentWei
2017-12-06 15:11:01 +08:00
parent 35832e8f6b
commit 9a513fd39e

View File

@@ -1,12 +1,12 @@
#!/bin/bash
SOURCE_DIR=libminigui-3.0.12
DEST_DIR=libminigui-3.0.12
SOURCE_DIR=libminigui-3.0.13
DEST_DIR=libminigui-3.0.13
. .config
if [ "$PACK_OS_LINUX" = "n" ]; then
DEST_DIR=libminigui-3.0.12
DEST_DIR=libminigui-3.0.13
fi
[ -f ".config" ] || {