diff options
| author | John Kacur <jkacur@redhat.com> | 2010-03-24 18:26:24 -0400 |
|---|---|---|
| committer | John Kacur <jkacur@redhat.com> | 2010-03-24 18:50:11 -0400 |
| commit | 81356ce3713f933d9080649edff3ee1f80aada4b (patch) | |
| tree | a21f0030e7d92963f3bb4a826a716d0fd998a0f8 | |
| parent | 6667e73489d092fc0393747cce958d92b837f5ef (diff) | |
trace-cmd: Make the default value of prefix /usr/local
Make the default value of prefix /usr/local which makes sense for most end-users
Developers who wish to use $HOME can set this on the command line.
(use ?= which only sets the default if prefix doesn't already have a value)
Signed-off-by: John Kacur <jkacur@redhat.com>
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -18,7 +18,7 @@ AR = ar | |||
| 18 | EXT = -std=gnu99 | 18 | EXT = -std=gnu99 |
| 19 | INSTALL = install | 19 | INSTALL = install |
| 20 | 20 | ||
| 21 | prefix := $(HOME) | 21 | prefix ?= /usr/local |
| 22 | bindir_relative = bin | 22 | bindir_relative = bin |
| 23 | bindir = $(prefix)/$(bindir_relative) | 23 | bindir = $(prefix)/$(bindir_relative) |
| 24 | 24 | ||