diff options
| author | Emmanuel Gil Peyrot <linkmauve@linkmauve.fr> | 2016-07-04 22:38:05 +0100 |
|---|---|---|
| committer | Richard van der Hoff <richard@matrix.org> | 2016-07-05 23:21:28 +0100 |
| commit | c8d00665b37af44e1c62b56407ed8e2e84fee830 (patch) | |
| tree | c67424caab2ec43b96374d884fbf527414a3b77c /jenkins.sh | |
| parent | 06cdb3f75e27aae06c16b10e936ddd908ea4e5c5 (diff) | |
Add an install and an install-debug targets
This makes the user able to use the familiar `make install` syntax, and
allows overriding of the default directories using the DESTDIR and
PREFIX variables, for example:
make DESTDIR=packaging PREFIX=/usr install
Diffstat (limited to 'jenkins.sh')
0 files changed, 0 insertions, 0 deletions