make-platforms
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
This directory contains platform-specific variable settings for the GNU makefile. They are used by CI. Please copy one of these up to ../make.inc and possibly modify for your needs. Barnett 1/7/25