From 6eb6aa42f9860b7a46bedd72d2bb313ebd48c809 Mon Sep 17 00:00:00 2001 From: Luke Shumaker Date: Thu, 17 Jan 2013 21:21:57 -0500 Subject: Integrate devtools into the build system --- src/devtools/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/devtools/Makefile') 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 = \ -- cgit v1.2.2