35bfd9d execute 'make check' (#640347)

Authored and Committed by Enrico Scholz 13 years ago
1 file changed. 7 lines added. 0 lines removed.
    execute 'make check' (#640347)
    
        
file modified
+7 -0