Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix waterman/all_supported_builds.sh list
The supported build is gnu-opt-openmp not gnu-debug-openmp.
- Loading branch information