diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-09 11:14:09 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-11-09 11:14:09 +0100 |
commit | 78ac4c5a63c10b3d1d6488d7677deb62c447c69c (patch) | |
tree | b5e72db428495726c51a391a809c28e0d926ee71 /powerpc | |
parent | 90f4de67b8cd1ac753d099100d4612cc3eabe4f1 (diff) | |
download | compcert-78ac4c5a63c10b3d1d6488d7677deb62c447c69c.tar.gz compcert-78ac4c5a63c10b3d1d6488d7677deb62c447c69c.zip |
Generalize print_init.
The powerpc version of print_init can be used without problems for
all backends.
Bug 22525
Diffstat (limited to 'powerpc')
0 files changed, 0 insertions, 0 deletions