make: Replace sed by $(SED)

This commit is contained in:
Jan Lindemann 2012-02-04 10:59:02 +00:00 committed by Jan Lindemann
commit 9f4e02e618
18 changed files with 80 additions and 77 deletions

View file

@ -1,10 +1,10 @@
CORE_DUMPER = $(shell echo -e "quit" | gdb --core=$(CORE) 2>&1 | \
sed '/Core was generated/ !d; s/Core was generated by `//; s/ .*//' | xargs -r which)
$(SED) '/Core was generated/ !d; s/Core was generated by `//; s/ .*//' | xargs -r which)
ifeq ($(CORE_DUMPER),)
CORE_DUMPER = $(EXE_PATH)
endif
PID = $(shell ps aux | sed "/$(notdir $(EXE_PATH))/ !d; /sed/ d" | awk '{print $$2}')
PID = $(shell ps aux | $(SED) "/$(notdir $(EXE_PATH))/ !d; /$(SED)/ d" | awk '{print $$2}')
all: