From 535d89ee09b445f4cff7278e52696049843b23b5 Mon Sep 17 00:00:00 2001 From: dtb Date: Sat, 22 Oct 2022 09:47:18 -0400 Subject: [PATCH] ifpublic in dist --- dist/Makefile | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/dist/Makefile b/dist/Makefile index 1544e02..03f9ff0 100644 --- a/dist/Makefile +++ b/dist/Makefile @@ -19,7 +19,7 @@ bin/battery: bin ../battery/battery cp ../battery/battery* bin/ .PHONY: data -data: bin/data battery lowercase nonzero str streq +data: bin/data battery ifpublic lowercase nonzero str streq bin/data: bin ../data/data cp ../data/data bin/ @@ -32,6 +32,11 @@ share/man/man1/echo.1: dirs ../echo/echo.1 ../echo/echo: $(MAKE) -C ../echo sane +.PHONY: ifpublic +ifpublic: bin/ifpublic +bin/ifpublic: bin ../ifpublic/ifpublic + cp ../ifpublic/ifpublic bin/ + .PHONY: lowercase lowercase: bin/lowercase bin/lowercase: bin ../lowercase/lowercase @@ -39,6 +44,13 @@ bin/lowercase: bin ../lowercase/lowercase ../lowercase/lowercase: $(MAKE) -C ../lowercase sane +.PHONY: pscat +pscat: bin/pscat +bin/pscat: bin ../pscat/pscat + cp ../pscat/pscat bin/pscat +../pscat/pscat: + $(MAKE) -C ../pscat sane + .PHONY: nonzero nonzero: bin/nonzero bin/nonzero: bin ../nonzero/nonzero