diff options
author | Andrew Cady <d@jerkface.net> | 2019-10-04 16:11:03 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2020-10-27 17:45:23 -0400 |
commit | 461b72b11345df86e648183c17421226f5394916 (patch) | |
tree | 7697dd68ace2b011925b244d2ef29e0172f4630e | |
parent | f1a94ee0e0e38632a61d924d03bcccdab7fbe373 (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) |