diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-08-23 09:48:04 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-08-23 09:48:04 +0200 |
| commit | 0e2c72a69b2d36652ad5d41d923d70f6f200940b (patch) | |
| tree | a3562eedba33a918dea13209fe33f7457caabe89 /powerpc/AsmToJSON.ml | |
| parent | 696bd9d2906e79bdfa11bc18e4b2de0521f6e996 (diff) | |
| download | compcert-0e2c72a69b2d36652ad5d41d923d70f6f200940b.tar.gz compcert-0e2c72a69b2d36652ad5d41d923d70f6f200940b.zip | |
Extended support for the nostartfiles option.
For dcc one needs to pass -Ws to tell the linker that it should
not link the default startfiles.
Diffstat (limited to 'powerpc/AsmToJSON.ml')
0 files changed, 0 insertions, 0 deletions