33130b4 Skip the same tets in build/ and build2/

Authored and Committed by zbyszek 7 years ago
1 file changed. 15 lines added. 5 lines removed.
    Skip the same tets in build/ and build2/
    
        
file modified
+15 -5