diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-09 10:13:20 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-11-09 10:13:20 +0100 |
| commit | d58e8e79326cae16361a219399ef102da128db03 (patch) | |
| tree | f8f7debc1e45b3d7656c4db3e6ef78a0b29887f3 /configure | |
| parent | 871ef2f625914e8debf3c28432d9d26fcce136fa (diff) | |
| download | compcert-d58e8e79326cae16361a219399ef102da128db03.tar.gz compcert-d58e8e79326cae16361a219399ef102da128db03.zip | |
Added ${arch}_${bitsize} for x86 to .merlin
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -514,8 +514,11 @@ B cparser B extraction EOF + if test "$arch" = "x86"; then + echo "S ${arch}_${bitsize}" >> .merlin + echo "B ${arch}_${bitsize}" >> .merlin + fi fi - # # Generate Makefile.config # |