diff options
| author | Wade Walker <[email protected]> | 2014-03-02 12:41:48 -0600 |
|---|---|---|
| committer | Wade Walker <[email protected]> | 2014-03-02 12:41:48 -0600 |
| commit | eb06798a7af0da8febbf31abd34e62e7100633aa (patch) | |
| tree | 0db315b4795c5e45eccc7e30d440e2f8e7ce343a /make/config | |
| parent | 9d6418135370a8ce1d5c63196011b1354a8e8022 (diff) | |
Load jocl.properties if present.
This lets us build with debug information turned on.
Diffstat (limited to 'make/config')
0 files changed, 0 insertions, 0 deletions