diff options
| author | Lukas Fleischer <archlinux@cryptocrack.de> | 2011-08-12 16:44:36 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2011-08-13 20:31:22 +0200 |
| commit | 35fc83ce7d8dc26cd424321f2e8638d05da0a6d4 (patch) | |
| tree | e71344a38a700106f29dfa7f0b849d7613eb3777 /archrm | |
| parent | 51b5d69cfc8ae10a930fb90dc3856d32c75ad047 (diff) | |
| download | devtools32-35fc83ce7d8dc26cd424321f2e8638d05da0a6d4.tar.xz | |
Makefile: Add PREFIX support
Default to "/usr/local" which should be used if you want to build
devtools from sources and install without using a package manager.
Use `make PREFIX=/usr install` to install to "/usr" instead.
Signed-off-by: Lukas Fleischer <archlinux@cryptocrack.de>
Signed-off-by: Pierre Schmitz <pierre@archlinux.de>
Diffstat (limited to 'archrm')
0 files changed, 0 insertions, 0 deletions