Makefile: "make install" optimization

1 files changed, 4 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 4429b4424..b37a867dd 100644
--- a/Makefile
+++ b/Makefile
@@ -16,8 +16,11 @@ package_files = $(addsuffix _$(version)_$(arch).deb,$(addprefix ../,$(packages))
 
 $(package_files): build-stamp
 
-install: $(package_files)
+install: install-stamp
+
+install-stamp: $(package_files)
         sudo dpkg -i $(package_files)
+        touch $@
 
 list:
         @echo $(package_files)