a7f2cbc dist-git: don't remove pr directory if the build hasn't finished yet

1 file Authored by schlupov 2 years ago, Committed by praiskup 2 years ago,
    dist-git: don't remove pr directory if the build hasn't finished yet
    
    Fixes: #2078
    
        
file modified
+77 -30