Merge pull request #13110 from pgavlin/SPMIJitOptions
authorPat Gavlin <pgavlin@gmail.com>
Sat, 9 Sep 2017 04:14:13 +0000 (21:14 -0700)
committerGitHub <noreply@github.com>
Sat, 9 Sep 2017 04:14:13 +0000 (21:14 -0700)
commit2e2219d5dfe2986fec1c41c37a1047ac30562243
treea0b5c3d1d66aea41f002a6e02dfc16e387f172db
parent959ccab91af7f475337777ce97fa5241de9042ff
parenta6f64213881c8ebbd3035c694d4c7193846e3893
Merge pull request #13110 from pgavlin/SPMIJitOptions

Add the capability to specify JIT options on the SPMI command line.