Searched refs:Optional (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/projects/refos/design/
H A DMakefile57 Optional = $(addsuffix -diff, $(Targets)) macro
58 All = $(Targets) $(Optional)
70 Diff_Pdf = $(addsuffix .pdf, $(Optional))
/seL4-refos-master/kernel/manual/
H A DMakefile58 Optional = $(addsuffix -diff, $(Targets)) macro
59 All = $(Targets) $(Optional)
72 Diff_Pdf = $(addsuffix .pdf, $(Optional))
/seL4-refos-master/libs/libmuslc/
H A Dconfigure30 Optional features:

Completed in 40 milliseconds