5a94566 Also look for builds without -dev

Authored and Committed by Colin Walters 8 years ago
1 file changed. 7 lines added. 5 lines removed.
    Also look for builds without -dev
    
    The latest upstream docker dropped the tag from the internal builddir.
    
        
file modified
+7 -5