fix tmp dir name for rpm build
@@ -240,14 +240,13 @@ package() {
ARCHITECTURE=$(architecture)
REDHAT_VERSION=$(redhat_version)
RELEASE=1
- PACKAGE_VERSION="${BATFISH_VERSION}-${RELEASE}"
PACKAGE_NAME="batfish-${SECONDARY_VERSION}"
TARBALL_NAME="${PACKAGE_NAME}-${BATFISH_VERSION}.tar.gz"
FINAL_RPM_NAME=${PACKAGE_NAME}-${BATFISH_VERSION}-${RELEASE}.el${REDHAT_VERSION}.${ARCHITECTURE}
BATFISH_Z3_RHEL_INSTALLER=${BATFISH_TOOLS_PATH}/install_z3_rhel_x86_64.sh
WORKING=$(mktemp -d)
RBASE=${WORKING}/rpmbuild
- PBASE=${RBASE}/${PACKAGE_NAME}-${PACKAGE_VERSION}
+ PBASE=${RBASE}/${PACKAGE_NAME}-${BATFISH_VERSION}
USR=/usr
USR_P=${PBASE}${USR}
DATA_DIR=/usr/share/batfish
