|
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- JARG =
- GMAKE = "gmake"
-
-
-
- GARGS = "--no-print-directory"
-
- .if "$(.MAKE.JOBS)" != ""
- JARG = -j$(.MAKE.JOBS)
- .endif
-
-
- .OBJDIR: ./
-
- .PHONY: FRC
- $(.TARGETS): FRC
- $(GMAKE) $(GARGS) $(.TARGETS:S,.DONE,,) $(JARG)
-
- .DONE .DEFAULT: .SILENT
- $(GMAKE) $(GARGS) $(.TARGETS:S,.DONE,,) $(JARG)
-
- .ERROR: .SILENT
- if ! which $(GMAKE) > /dev/null; then \
- echo "GNU Make is required!"; \
- fi
|