diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:01:14 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:01:14 +0200 |
| commit | 073e50a2b795f68e59075d6e365e72b4bd2417c1 (patch) | |
| tree | b03f5729de297539eb190a74e8894c4eb0ed397b /Makefile.extr | |
| parent | e5d2a949f0e5cd5f1ddaece41a03f65ac1e3836e (diff) | |
| download | compcert-073e50a2b795f68e59075d6e365e72b4bd2417c1.tar.gz compcert-073e50a2b795f68e59075d6e365e72b4bd2417c1.zip | |
Changed [asm_flags] to a left-recursive list.
This allows us to give a better error message in one state.
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions