diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-19 13:31:57 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-19 13:31:57 +0100 |
commit | 6d2c27127fd67b6ad5499c7d3f4be537333ac356 (patch) | |
tree | 3c4b208e884dd2808d541be3d7f3784c201502d6 /mppa_k1c/Machregs.v | |
parent | bcfcbcb78d5aae904cac23d3e0a055c4d8cc8509 (diff) | |
download | compcert-kvx-6d2c27127fd67b6ad5499c7d3f4be537333ac356.tar.gz compcert-kvx-6d2c27127fd67b6ad5499c7d3f4be537333ac356.zip |
Revert "implemented -fno-postpass normally"
This reverts commit fdb8d0c7b5a8be87a64cb995f3abf5bc60f07bfd.
Diffstat (limited to 'mppa_k1c/Machregs.v')
0 files changed, 0 insertions, 0 deletions