diff options
Diffstat (limited to 'src/devtools')
| -rw-r--r-- | src/devtools/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/devtools/Makefile b/src/devtools/Makefile index 8b94f80..94f1f6b 100644 --- a/src/devtools/Makefile +++ b/src/devtools/Makefile @@ -1,6 +1,8 @@ V=20121128.6 -PREFIX = /usr/local +#prefix = /usr/local +prefix = /usr +PREFIX = $(prefix) pkgdatadir=$(PREFIX)/share/devtools BINPROGS = \ |