diff options
author | Benjamin Barenblat <bbaren@google.com> | 2019-02-17 20:22:08 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@google.com> | 2019-02-17 20:22:08 -0500 |
commit | 0714858a81915fc118d7563e7ffc467c6221f086 (patch) | |
tree | baf2e94a31e44fe9d9638182b9264cddec8e7a3a /AAC_print.ml | |
parent | 01c0849f6bfb9ee6d2a57bb53da69eade2fa37e9 (diff) |
Fix install on platforms without ocamlopt
I was a bit overzealous in d10b86dc97e91ceb15134cc190d6f647a7c3d640,
changing `make install` to `make install-byte` on bytecode platforms.
Turns out both `make install` and `make install-byte` install important
files on both native and bytecode platforms, so unconditionally call
both.
Diffstat (limited to 'AAC_print.ml')
0 files changed, 0 insertions, 0 deletions