diff options
| author | Milan Curcic <caomaco@gmail.com> | 2021-02-05 11:55:19 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-05 11:55:19 -0500 |
| commit | 889855ac6e75741b988b2355609d12af9f691a2d (patch) | |
| tree | 4507c40f8cacbc1747b64c63a56d2073903acb3e /bootstrap/src/Build.hs | |
| parent | a16e812730c1b438e887679df44d7b83ba584f8e (diff) | |
| parent | 3b12b536f78557f521704e762c437d91a9f484c2 (diff) | |
| download | fpm-889855ac6e75741b988b2355609d12af9f691a2d.tar.gz fpm-889855ac6e75741b988b2355609d12af9f691a2d.zip | |
Merge pull request #345 from LKedward/omp-dyn-sched
Update: fpm_backend with dynamic openmp scheduling
Diffstat (limited to 'bootstrap/src/Build.hs')
0 files changed, 0 insertions, 0 deletions