pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix message.

pull/33/head
Dave Page 2020-06-02 13:19:46 +01:00
parent 445abf1e31
commit 4a0efc0e86
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkg/redhat/build.sh
View File

@ -215,4 +215,4 @@ if [ ${OS_VERSION} == 7 ]; then
cp ${HOME}/rpmbuild/RPMS/${OS_ARCH}/pgadmin4-python3-mod_wsgi-4.7.1-2.el7.x86_64.rpm "${DISTROOT}/"
fi
echo "Completed. RPMs created in $DESTDIR."
echo "Completed. RPMs created in ${DISTROOT}."