-
Xavier Leroy authored
The configure script still accepts "macosx" for backward compatibility, but every other part of CompCert now uses "macos".
ab62e1be
The configure script still accepts "macosx" for backward compatibility, but every other part of CompCert now uses "macos".