diff options
Diffstat (limited to '10-makefile_prefix.patch')
-rw-r--r-- | 10-makefile_prefix.patch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/10-makefile_prefix.patch b/10-makefile_prefix.patch new file mode 100644 index 000000000000..a51519586e1e --- /dev/null +++ b/10-makefile_prefix.patch @@ -0,0 +1,9 @@ +diff -Naur a/Makefile b/Makefile +--- a/Makefile 2012-07-01 07:31:25.000000000 +0000 ++++ b/Makefile 2012-07-04 09:20:56.000000000 +0000 +@@ -1,4 +1,4 @@ +-export prefix=/usr/local ++export prefix ?= /usr/local + export milena_dir=$(prefix)/share/milena + + all: |