diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2024-03-06 10:24:46 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2024-03-06 10:24:46 +0100 |
commit | 372a0e99c2f61543d9e14d9933b59d9d1f4cb26e (patch) | |
tree | bbadf39aed0610c8f8f7b41fefff47773b8ac205 /xsd/dist/examples/makefile | |
parent | 23d41842168ac1a1580111b9c5c73500ceee3d57 (diff) | |
parent | 4538829ab86b5a1cd4e845e7eab165029c9d6d46 (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'xsd/dist/examples/makefile')
-rw-r--r-- | xsd/dist/examples/makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/xsd/dist/examples/makefile b/xsd/dist/examples/makefile deleted file mode 100644 index 5b8947e..0000000 --- a/xsd/dist/examples/makefile +++ /dev/null @@ -1,11 +0,0 @@ -dirs := cxx - -.PHONY: all $(dirs) - -all: $(dirs) - -$(dirs): - $(MAKE) -C $@ $(MAKECMDGOALS) - -makefile: ; -% :: $(dirs) ; |