diff options
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -246,9 +246,11 @@ apt_list_files = $(addprefix /./var/lib/apt/lists/, \ | |||
246 | 246 | ||
247 | stale = [ ! -e $@ ] || [ $$(( $$(date +%s) - $$(date -r $@ +%s) )) -gt 36000 ] | 247 | stale = [ ! -e $@ ] || [ $$(( $$(date +%s) - $$(date -r $@ +%s) )) -gt 36000 ] |
248 | 248 | ||
249 | apt = $(shell which apt || which apt-get) | ||
250 | |||
249 | .PHONY: apt-get-update-stamp | 251 | .PHONY: apt-get-update-stamp |
250 | apt-get-update-stamp: | 252 | apt-get-update-stamp: |
251 | @if $(stale); then set -x; sudo apt-get update && touch $@; fi | 253 | @if $(stale); then set -x; sudo $(apt) update && touch $@; fi |
252 | 254 | ||
253 | samizdat.iso: patched.iso | 255 | samizdat.iso: patched.iso |
254 | cp --reflink $< $@ | 256 | cp --reflink $< $@ |