diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-29 18:02:58 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-29 18:02:58 +0200 |
| commit | c3003517a048d7469a314fc245118ed72e2158dd (patch) | |
| tree | c81f7d0f8249a4279117e35171a80c1a1ca9243b /debug | |
| parent | 92da04b18cf8067624ae6d3c118de91fbb4b90b2 (diff) | |
| download | compcert-kvx-c3003517a048d7469a314fc245118ed72e2158dd.tar.gz compcert-kvx-c3003517a048d7469a314fc245118ed72e2158dd.zip | |
The scheduler selection works, but the argument is not optional yet (-fpostpass nameofscheduler)
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions