projects
/
pgrpms.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
88813fc
)
scripts/cleanbuildirs: Clean up extras build directory
author
Devrim Gunduz
<devrim@gunduz.org>
Wed, 4 Jun 2025 20:45:08 +0000
(15:45 -0500)
committer
Devrim Gunduz
<devrim@gunduz.org>
Wed, 4 Jun 2025 20:45:08 +0000
(15:45 -0500)
scripts/buildserver/cleanbuilddirs.sh
patch
|
blob
|
blame
|
history
diff --git
a/scripts/buildserver/cleanbuilddirs.sh
b/scripts/buildserver/cleanbuilddirs.sh
index a1d048a4870a66afa47fae938cf8551c57435901..4948d56c561e6e240bf66e0ee4b58960be26f68f 100755
(executable)
--- a/
scripts/buildserver/cleanbuilddirs.sh
+++ b/
scripts/buildserver/cleanbuilddirs.sh
@@
-32,6
+32,13
@@
do
rm -rf /var/lib/pgsql/rpm${packageCleanVersion}testing/BUILDROOT/*
done
+# Clean up extras build directory:
+if [ $extrasrepoenabled = 1 ]
+then
+ rm -rf /var/lib/pgsql/pgdg.$osshort.extras/BUILD/*
+ rm -rf /var/lib/pgsql/pgdg.$osshort.extras/BUILDROOT/*
+fi
+
# Finally, delete stable dirs:
for packageCleanVersion in ${pgStableBuilds[@]}
do