|
|
@@ -8,6 +8,7 @@ SCRIPTDIR=$(dirname $SCRIPTPATH) |
|
|
|
git="git" |
|
|
|
HAS_GIT=true |
|
|
|
HEADER_DIR="$SCRIPTDIR/header" |
|
|
|
DOCU_DIR="$SCRIPTDIR/../doc" |
|
|
|
INC_MAJOR=false |
|
|
|
INC_MINOR=false |
|
|
|
INC_BUGFIX=false |
|
|
@@ -150,10 +151,12 @@ function BuildConfig() |
|
|
|
mkdir -p $BINDIR |
|
|
|
mv "$BINNAME" "$BINDIR/" || { log "unable to copy linked binary"; cleaupAndExit 3; } |
|
|
|
# use this to copy data folder instead of data archive: cp -R --preserve=links data $BINDIR || { log "unable to copy data folder"; cleaupAndExit 4; } |
|
|
|
cp -r "$HEADER_DIR" "$BINDIR" || { log "unable to copy header files"; cleaupAndExit 4; } |
|
|
|
cp -r "$HEADER_DIR" "$BINDIR" || { log "unable to copy header files"; cleaupAndExit 4; } |
|
|
|
cp -r "$DOCU_DIR" "$BINDIR/docu" || { log "unable to copy documentation files"; cleaupAndExit 5; } |
|
|
|
|
|
|
|
pushd $ZIPDIR |
|
|
|
rm -rf $ZIPPATH |
|
|
|
zip -r $ZIPPATH ./* || { log "unable to create zip archive"; cleaupAndExit 5; } |
|
|
|
zip -r $ZIPPATH ./* || { log "unable to create zip archive"; cleaupAndExit 6; } |
|
|
|
popd |
|
|
|
} |
|
|
|
|
|
|
|