diff options
author | Michael Schmidt <mschmidt@absint.com> | 2015-09-18 12:39:05 +0200 |
---|---|---|
committer | Michael Schmidt <mschmidt@absint.com> | 2015-09-18 12:39:05 +0200 |
commit | 469badb1eb88b187ff39c9847b3b2316225fd421 (patch) | |
tree | 0d20f4900f8a2eb72f59969380e316e4f1a5ee7c /Makefile.extr | |
parent | b24913a4ad1014b7da42bdb1deb8f3cc05b0ed8d (diff) | |
download | compcert-469badb1eb88b187ff39c9847b3b2316225fd421.tar.gz compcert-469badb1eb88b187ff39c9847b3b2316225fd421.zip |
correct error message for __builtin_dcbtls
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions