Project

General

Profile

« Previous | Next » 

Revision 10103

inputs/input.Makefile: added $(filter_make), used to filter the output of embedded $(shell make ...) invocations

View differences:

inputs/input.Makefile
32 32
selfMake = $(MAKE) --makefile=../input.Makefile
33 33
subMake = $(MAKE) $(@:$(root)/%=%) --directory=$(root)
34 34
+_ = $(+:_%=)
35
# used to filter the output of embedded $(shell make ...) invocations
36
filter_make := grep -vF -e lib -e ".Makefile'."
35 37
addBeforeExt = $(basename $(2))$(1)$(suffix $(2))
36 38

  
37 39
# Terminal

Also available in: Unified diff