IntenseWebs/pgadmin4
3
0 Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-10-12 16:11:59 -05:00
Code Issues Packages Projects Releases Wiki Activity

Create the dist/ directory if needed.

Browse Source
This commit is contained in:
Dave Page committed 2020-05-18 15:37:18 +01:00
1 parent 0e799b16b0
commit 52187306ce
1 file changed
+1
Download Patch File Download Diff File Expand all files Collapse all files
pkg/redhat/repo-rpm.sh
+1
View File
@@ -108,4 +108,5 @@ _create_repo_rpm fedora
#
# Get the results!
#
test -d "${DISTROOT}/" || mkdir -p "${DISTROOT}/"
cp ${HOME}/rpmbuild/RPMS/noarch/${APP_NAME}-*-repo-${REPO_RPM_VERSION}-${REPO_RPM_BUILD}.noarch.rpm "${DISTROOT}/"