diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-26 13:41:34 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-02-26 13:41:34 +0100 |
commit | 086c6686ec93cdaf7b6433cffdc4d8403a06f8b6 (patch) | |
tree | 233483e0bb48dfd04184a2ac29f3fd3bb0bc4d53 /Makefile | |
parent | 3593971f9d5ec8fa95344e6d0cd25ec55642b365 (diff) | |
download | compcert-086c6686ec93cdaf7b6433cffdc4d8403a06f8b6.tar.gz compcert-086c6686ec93cdaf7b6433cffdc4d8403a06f8b6.zip |
Removed no longer needed struct passing.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -225,8 +225,6 @@ compcert.ini: Makefile.config echo "has_runtime_lib=$(HAS_RUNTIME_LIB)"; \ echo "has_standard_headers=$(HAS_STANDARD_HEADERS)"; \ echo "asm_supports_cfi=$(ASM_SUPPORTS_CFI)"; \ - echo "struct_passing_style=$(STRUCT_PASSING)"; \ - echo "struct_return_style=$(STRUCT_RETURN)"; \ echo "response_file_style=$(RESPONSEFILE)";) \ > compcert.ini |