diff options
| author | Luca Deri <lucaderi@users.noreply.github.com> | 2019-01-20 23:17:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-20 23:17:46 +0100 |
| commit | 72edc508ebaded90d5ef463b070eca661feaa10d (patch) | |
| tree | 02f7215f991ced77232a90133b704e5f24b29942 /src/lib | |
| parent | 7efe1f06eedbdfbdc316d330f746c47391be8f78 (diff) | |
| parent | 81649d9979d5069299500bc6d74fc9587cccee16 (diff) | |
Merge pull request #661 from pcein/propagate-prefix
Propagate prefix settings to Makefiles
Diffstat (limited to 'src/lib')
| -rw-r--r-- | src/lib/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib/Makefile.in b/src/lib/Makefile.in index 0ffeb9db5..8b0853dd4 100644 --- a/src/lib/Makefile.in +++ b/src/lib/Makefile.in @@ -10,7 +10,7 @@ # # Installation directories # -prefix = /usr/local +prefix = @prefix@ libdir = ${prefix}/lib includedir = ${prefix}/include/ndpi CC = @CC@ |