diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-05-10 12:09:01 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-05-10 12:09:01 +0200 |
| commit | 470f207e9229b73dcaea889c531b016a34df3cc5 (patch) | |
| tree | ca6087f44463c40aea49e8d2efadcaa059c2784a | |
| parent | abc067fedfaa6ad3e8b5991588ed48c4c385cfc0 (diff) | |
| download | compcert-kvx-470f207e9229b73dcaea889c531b016a34df3cc5.tar.gz compcert-kvx-470f207e9229b73dcaea889c531b016a34df3cc5.zip | |
fix typo in comment
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -193,7 +193,7 @@ case "$target" in clinker_options="-m32" libmath="-lm";; ia32-macosx) - # kernel major versions count upwards from 4 for OSX 10.0 to 11 for OSX 10.11 + # kernel major versions count upwards from 4 for OSX 10.0 to 15 for OSX 10.11 kernel_major=`uname -r | cut -d "." -f 1` arch="ia32" model="sse2" |