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 /configure | |
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 'configure')
0 files changed, 0 insertions, 0 deletions