From 47ac9945977bca8af2e5edf3b004add851e54df3 Mon Sep 17 00:00:00 2001 From: Daniel Friesel Date: Sun, 23 Nov 2008 11:15:39 +0100 Subject: pkg refresh: Run make clean and make as well --- bin/pkg | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/bin/pkg b/bin/pkg index 20fd721..03fe38c 100755 --- a/bin/pkg +++ b/bin/pkg @@ -590,6 +590,12 @@ function pkg_status { function pkg_refresh { check_installed $1 cd $PDIR/$1 + if [[ -r Makefile ]] { + clear_line + info "$1: re-building with make\n" + make clean + make + } populate_collected $1 checklinks $CL_OPTIONS check_prereqs $1 -- cgit v1.2.3