From 91d7ba8aa40a7536fa5e9e17ad4f6e6a6727c873 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Thu, 16 May 2019 20:34:07 +0000 Subject: [PATCH] projects-dir.mk: Add time to BASE_PKGS Signed-off-by: Jan Lindemann --- make/projects-dir.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/make/projects-dir.mk b/make/projects-dir.mk index 4c88f3c3..dc4c4e4e 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -20,7 +20,7 @@ SHELL = /bin/bash -o pipefail PROJECTS_TXT ?= projects.txt JW_BUILD_VERBOSE ?= false -BASE_PKGS = git cvs make sudo +BASE_PKGS = git cvs make sudo time time PREREQ_RELEASE ?= pull # ------------ evaluate Makefile and environment variables