diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2019-05-17 17:30:03 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-17 17:30:03 +0200 |
| commit | 5b7fc96afb149ad916a9bf5015fe1eb2e0baaa7c (patch) | |
| tree | 03ec4c313a1b7f220e37bd924082565a0a4df6a8 /powerpc/Asmgenproof1.v | |
| parent | 99918e4118e0ea644b20e37a13ceb31d935fdda5 (diff) | |
| download | compcert-kvx-5b7fc96afb149ad916a9bf5015fe1eb2e0baaa7c.tar.gz compcert-kvx-5b7fc96afb149ad916a9bf5015fe1eb2e0baaa7c.zip | |
Prepend $(DESTDIR) to the installation target (#169)
Following the gnu Makefile Conventions the variable $(DESTDIR)
should be prepended to all installation commands. This allows
staged installs.
Diffstat (limited to 'powerpc/Asmgenproof1.v')
0 files changed, 0 insertions, 0 deletions