diff options
| author | Sergio <sergiotarxz@posteo.net> | 2026-09-21 12:31:01 +0200 |
|---|---|---|
| committer | Sergio <sergiotarxz@posteo.net> | 2026-09-21 12:31:01 +0200 |
| commit | 763a6b4fb56e9f29efd2383adfa6c0b2cee15fd5 (patch) | |
| tree | 1a196cfb84f1af2efdb3ef5cb9e1f012e0a90e27 /scripts/complete-build.pl | |
| parent | 82bc235c7be87b94eb0954a225a5dd2e0f87ee9b (diff) | |
Diffstat (limited to 'scripts/complete-build.pl')
| -rw-r--r-- | scripts/complete-build.pl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/complete-build.pl b/scripts/complete-build.pl index a81fafd..ffe7842 100644 --- a/scripts/complete-build.pl +++ b/scripts/complete-build.pl @@ -28,7 +28,7 @@ GetOptions( 'repo=s' => \$repo, 'jobs|j=s' => \$jobs, 'tag|t=s' => \$tag, - 'suffix' => \$suffix, + 'suffix=s' => \$suffix, 'output-dir|O=s' => \$output_dir, 'binpkg-dir=s' => \$binpkg_dir, 'precursor-dir|P=s' => \$precursor, @@ -71,9 +71,10 @@ if ( $< != 0 ) { exit 1; } +system "umount -R /var/tmp/algabuild/tmp/algaos-complete-*/tmp/*/*"; for my $dir ( glob '/var/tmp/algabuild/tmp/algaos-complete-*' ) { if ( !-e "$dir/.pid" ) { - system qw{rm -rf}, $dir; + system qw{rm -rf --one-file-system}, $dir; next; } my $pid = `cat $dir/.pid`; |
