diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-28 20:07:52 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-28 20:07:52 +0200 |
commit | 0543cb7919d8b03ee9367c2ce94837646364af3d (patch) | |
tree | 2910dace90ac9d4180adeff12306b36252993306 /configure | |
parent | 711cea9fc37e777487abc815730aacde2b00aef3 (diff) | |
download | compcert-kvx-0543cb7919d8b03ee9367c2ce94837646364af3d.tar.gz compcert-kvx-0543cb7919d8b03ee9367c2ce94837646364af3d.zip |
Added back ;;
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -118,6 +118,7 @@ case "$target" in asm_supports_cfi=false clinker="${toolprefix}dcc" libmath="-lm" + ;; *) system="linux" cc="${toolprefix}gcc" |