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

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