diff options
| author | Teddy Wing | 2020-08-06 00:30:15 +0200 |
|---|---|---|
| committer | Teddy Wing | 2020-08-06 00:30:49 +0200 |
| commit | a230e2acf3323461c95abd1bac09c6a00a9f3fb3 (patch) | |
| tree | 2ea10f1b8905b408b3f641a5597d221a2d9f6d12 | |
| parent | e46b376b54e1fed05fd8378a79068af9a436a1d6 (diff) | |
| download | git-suggestion-a230e2acf3323461c95abd1bac09c6a00a9f3fb3.tar.bz2 | |
Makefile: Remove unused list of products
This was replaced by `RELEASE_PRODUCTS` so that I could make
`DIST_PRODUCTS` based on `PRODUCTS`.
| -rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -17,7 +17,6 @@ SOURCES := $(shell find . -name '*.rs') MAN_PAGES := $(patsubst doc/%.1.txt,doc/%.1,$(wildcard doc/*.1.txt)) -# PRODUCTS := $(patsubst src/bin/%.rs,target/release/%,$(wildcard src/bin/*.rs)) PRODUCTS := $(patsubst src/bin/%.rs,%,$(wildcard src/bin/*.rs)) RELEASE_PRODUCTS := $(patsubst %,target/release/%,$(PRODUCTS)) |