diff options
author | Trevor Elliott <trevor@galois.com> | 2013-05-16 14:57:49 -0700 |
---|---|---|
committer | Trevor Elliott <trevor@galois.com> | 2013-05-16 14:57:49 -0700 |
commit | 9bdeddf57384eafe7a7000a70a19dd9fa1c2b291 (patch) | |
tree | f017cdcb07507566893e5b2f65ee726b83871241 /mk | |
parent | 9724ba49770ecbcca00110a8ef1d16e09d2c6e74 (diff) |
Report absolute paths as relative to $(topdir)
Diffstat (limited to 'mk')
-rw-r--r-- | mk/util.mk | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -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 $< $@ |