From cff2e3311cf873132920eec500c054d88b0e8e0b Mon Sep 17 00:00:00 2001 From: Andrew Cady Date: Wed, 6 Oct 2021 14:36:34 -0400 Subject: Makefile: use apt instead of apt-get when available --- Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5d16a5a..754444b 100644 --- a/Makefile +++ b/Makefile @@ -246,9 +246,11 @@ apt_list_files = $(addprefix /./var/lib/apt/lists/, \ stale = [ ! -e $@ ] || [ $$(( $$(date +%s) - $$(date -r $@ +%s) )) -gt 36000 ] +apt = $(shell which apt || which apt-get) + .PHONY: apt-get-update-stamp apt-get-update-stamp: - @if $(stale); then set -x; sudo apt-get update && touch $@; fi + @if $(stale); then set -x; sudo $(apt) update && touch $@; fi samizdat.iso: patched.iso cp --reflink $< $@ -- cgit v1.2.3