b3bad1d Disable armv7 temporarily.

Authored and Committed by rjones 4 years ago
    Disable armv7 temporarily.
    See https://github.com/ocaml/dune/issues/2527
    
        
file modified
+4 -0