diff options
| author | ruki <[email protected]> | 2019-07-28 21:27:22 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2019-07-28 21:33:19 +0800 |
| commit | 41cf8c97d7817ab6d3b76b252bf6d75e2f565eb3 (patch) | |
| tree | 72bbf98d9bdd4d394e588fc49855be211baaab78 /makefile | |
| parent | 1bb412afcd5d416bec002ea882b797499e60417c (diff) | |
improve tmpdir for termux
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -6,10 +6,11 @@ verbose:= #verbose:=-v # prefix +prefix:=$(if $(prefix),$(prefix),$(PREFIX)) # for termux prefix:=$(if $(prefix),$(prefix),$(if $(findstring /usr/local/bin,$(PATH)),/usr/local,/usr)) - # the temporary directory +TMP_DIR :=$(if $(TMP_DIR),$(TMP_DIR),$(TMPDIR)) # for termux TMP_DIR :=$(if $(TMP_DIR),$(TMP_DIR),/tmp) # platform |