Lines Matching defs:dist
17 # When specifying "dist", the user has asked that we copy the important
20 .PHONY: dist
21 dist: ;
23 dist_goal := $(strip $(filter dist,$(MAKECMDGOALS)))
24 MAKECMDGOALS := $(strip $(filter-out dist,$(MAKECMDGOALS)))
26 # The commandline was something like "make dist" or "make dist showcommands".
28 dist: $(DEFAULT_GOAL)
37 define copy-one-dist-file
40 @echo "Dist: $$@"
46 # and "dist" is specified, the marked files will be copied to DIST_DIR.
49 # $(2): the dist files to add to those goals. If the file contains ':',
51 # to under the dist directory. Subdirs are ok, and will be created
53 define dist-for-goals
60 $(call copy-one-dist-file, \
71 # empty definition when not building dist
72 define dist-for-goals
