From 9bdeddf57384eafe7a7000a70a19dd9fa1c2b291 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Thu, 16 May 2013 14:57:49 -0700
Subject: Report absolute paths as relative to $(topdir)

---
 mk/util.mk | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'mk')

diff --git a/mk/util.mk b/mk/util.mk
index 3b0ea24..cbc3afe 100644
--- a/mk/util.mk
+++ b/mk/util.mk
@@ -15,11 +15,14 @@ cmd      = @$(echo-cmd) $(cmd_$1)
 label    = $(if $(Q),$(Q)echo '  $1';)
 
 
-quiet_cmd_mkdir = MKDIR      $@
+drop-prefix = $(patsubst $(topdir)/%,%,$1)
+
+
+quiet_cmd_mkdir = MKDIR      $(call drop-prefix,$@)
       cmd_mkdir = mkdir -p $@
 
-quiet_cmd_copydir = CPDIR      $@
+quiet_cmd_copydir = CPDIR      $(call drop-prefix,$@)
       cmd_copydir = cp -r $(DIR) $@
 
-quiet_cmd_cp = CP         $@
+quiet_cmd_cp = CP         $(call drop-prefix,$@)
       cmd_cp = cp $< $@
-- 
cgit v1.2.3