make: Replace cat by $(CAT)

This commit is contained in:
Jan Lindemann 2012-02-04 11:06:22 +00:00 committed by Jan Lindemann
commit 26baa6a3b4
14 changed files with 34 additions and 33 deletions

View file

@ -75,11 +75,11 @@ supp.tmp:
valgrind --gen-suppressions=all $(EXE_PATH) $(EXE_ARGS) 2>$@.tmp; mv $@.tmp $@ || exit 0
vg-create-supp: supp.tmp
cat $< | $(MOD_SCRIPT_DIR)/parse-valgrind-suppressions.sh > local.supp
$(CAT) $< | $(MOD_SCRIPT_DIR)/parse-valgrind-suppressions.sh > local.supp
rm -f supp.tmp
vg-add-supp:
cat | $(MOD_SCRIPT_DIR)/parse-valgrind-suppressions.sh >> local.supp
$(CAT) | $(MOD_SCRIPT_DIR)/parse-valgrind-suppressions.sh >> local.supp
vg-clean-supp:
rm -f local.supp