HomeIsabelle/Phabricator

Restore $(MAKE) after make compiler. It's still needed.

Description

Restore $(MAKE) after make compiler. It's still needed.

Details

Provenance
dcjmAuthored on Mar 22 2021, 8:57 AM
Parents
rPOLYMLc3c9a5cbb519: Merge branch 'master' into ARM64Testing
Branches
Unknown
Tags
Unknown