diff options
author | Andrew Cady <d@jerkface.net> | 2019-10-04 16:11:03 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2020-08-16 14:45:05 -0400 |
commit | bc097c28c1ea1ddf88c5401729cd32cf7969d7bf (patch) | |
tree | c3646d2b63fe53a027f8bbf9e0633ddecccac62a | |
parent | 7938d156722abf72cdac7f3f59c4de83066922b0 (diff) |
Makefile: "make install" optimization
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -16,8 +16,11 @@ package_files = $(addsuffix _$(version)_$(arch).deb,$(addprefix ../,$(packages)) | |||
16 | 16 | ||
17 | $(package_files): build-stamp | 17 | $(package_files): build-stamp |
18 | 18 | ||
19 | install: $(package_files) | 19 | install: install-stamp |
20 | |||
21 | install-stamp: $(package_files) | ||
20 | sudo dpkg -i $(package_files) | 22 | sudo dpkg -i $(package_files) |
23 | touch $@ | ||
21 | 24 | ||
22 | list: | 25 | list: |
23 | @echo $(package_files) | 26 | @echo $(package_files) |