7557f3d Fix make-lint crash under certain circumstances.

1 file Authored by jcholast 12 years ago, Committed by simo 12 years ago,
1 file changed. 1 lines added. 1 lines removed.
    Fix make-lint crash under certain circumstances.
    
    ticket 2136
    
        
file modified
+1 -1