diff options
| author | Diego Nehab <diego.nehab@gmail.com> | 2016-11-11 02:28:07 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-11 02:28:07 -0500 |
| commit | ac3201d62024b397e8d6e3376822176d681811ec (patch) | |
| tree | a40698c9dbd9c27598145009f45f78085db1d880 /src/makefile | |
| parent | 316a9455b9cb4637fe6e62b20fbe05f5141fec54 (diff) | |
| parent | cd1e52eb7ad050c083703662dfbb870e57c3a1f0 (diff) | |
| download | luasocket-ac3201d62024b397e8d6e3376822176d681811ec.tar.gz luasocket-ac3201d62024b397e8d6e3376822176d681811ec.tar.bz2 luasocket-ac3201d62024b397e8d6e3376822176d681811ec.zip | |
Merge pull request #192 from mmaxs/master
Allow DESTDIR to be set from the environment
Diffstat (limited to 'src/makefile')
| -rw-r--r-- | src/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/makefile b/src/makefile index 2ffd7d9..2dfe549 100644 --- a/src/makefile +++ b/src/makefile | |||
| @@ -102,7 +102,7 @@ LDIR?=$(LDIR_$(PLAT)) | |||
| 102 | 102 | ||
| 103 | # DESTDIR: (no default) | 103 | # DESTDIR: (no default) |
| 104 | # used by package managers to install into a temporary destination | 104 | # used by package managers to install into a temporary destination |
| 105 | DESTDIR= | 105 | DESTDIR?= |
| 106 | 106 | ||
| 107 | #------ | 107 | #------ |
| 108 | # Definitions below can be overridden on the make command line, but | 108 | # Definitions below can be overridden on the make command line, but |