add78da make tidy and gpgverify optional

Authored and Committed by remi 4 years ago
1 file changed. 13 lines added. 1 lines removed.
    make tidy and gpgverify optional
    
        
file modified
+13 -1