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 | |
| parent | 711cea9fc37e777487abc815730aacde2b00aef3 (diff) | |
| download | compcert-0543cb7919d8b03ee9367c2ce94837646364af3d.tar.gz compcert-0543cb7919d8b03ee9367c2ce94837646364af3d.zip | |
Added back ;;
| -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" |