Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
platform: remove previous build options if file is missing
"touch" would create the file if not present, but not delete its contents if a previous run left the file in the build dir.
- Loading branch information