[X] Declare copyright holder and open-source license: see below
Summary:
make help-dev current prints bin/diagnostic as the token used to build bin/diagnose; if used, it produces an error. This PR fixes the aforementioned discrepancy and updates the terminology where it seemed appropriate.
Intended Effect:
make help-dev prints the correct token for building the diagnose utility.
How to Verify:
Self-evident.
Side Effects:
None.
Documentation:
None.
Copyright and Licensing
Please list the copyright holder for the work you are submitting (this will be you or your assignee, such as a university or company): Andrew J. Radcliffe
By submitting this pull request, the copyright holder is agreeing to license the submitted work under the following licenses:
Submission Checklist
./runCmdStanTests.py src/testSummary:
make help-devcurrent printsbin/diagnosticas the token used to buildbin/diagnose; if used, it produces an error. This PR fixes the aforementioned discrepancy and updates the terminology where it seemed appropriate.Intended Effect:
make help-devprints the correct token for building the diagnose utility.How to Verify:
Self-evident.
Side Effects:
None.
Documentation:
None.
Copyright and Licensing
Please list the copyright holder for the work you are submitting (this will be you or your assignee, such as a university or company): Andrew J. Radcliffe
By submitting this pull request, the copyright holder is agreeing to license the submitted work under the following licenses: