Merge branch 'devel' of https://github.com/arangodb/arangodb into generic-col-types

Installation/release.sh

@@ -50,6 +50,11 @@ fi
 
 VERSION="$1"
 
+if echo ${VERSION} | grep -q -- '-'; then
+    echo "${VERSION} mustn't contain minuses! "
+    exit 1
+fi
+
 if git tag | grep -q "^v$VERSION$";  then
   echo "$0: version $VERSION already defined"
   exit 1

scripts/build-deb.sh

@@ -14,5 +14,6 @@ cd ${DIR}/..
     --buildDir build-deb \
     --targetDir /var/tmp/ \
     --jemalloc \
+    $@
 
 cd ${DIR}/..

scripts/build-nsis.sh

@@ -11,6 +11,7 @@ cd ${DIR}/..
     --msvc \
     --buildDir /cygdrive/c/b/y/ \
     --package NSIS \
-    --targetDir /var/tmp/ 
+    --targetDir /var/tmp/ \
+    $@
 
 cd ${DIR}/..

scripts/build-rpm.sh

@@ -13,5 +13,6 @@ cd ${DIR}/..
     --buildDir build-rpm \
     --targetDir /var/tmp/ \
     --jemalloc \
+    $@
 
 cd ${DIR}/..