Skip to content

[fix] configure files in src subdirectories should now also work for osx

Brian Guo requested to merge BrianGuo1/mi-cho-coq:configuration into master

changed find command in configure files to work for osx as well.

Merge request reports