diff options
| author | Aidan Hobson Sayers <aidanhs@cantab.net> | 2015-06-13 16:49:25 +0100 |
|---|---|---|
| committer | Aidan Hobson Sayers <aidanhs@cantab.net> | 2015-06-13 17:27:05 +0100 |
| commit | b1e9ed3c19b650671f52aa8b9c2ef60ea66a503b (patch) | |
| tree | ec62cdaac9a54aea62d95865eae625c6ed41145a | |
| parent | 065c9ab59b41bb17efe979b1e06d1639950e082d (diff) | |
| download | rust-b1e9ed3c19b650671f52aa8b9c2ef60ea66a503b.tar.gz rust-b1e9ed3c19b650671f52aa8b9c2ef60ea66a503b.zip | |
nop hack required for PREPARE_DIR (PREPARE_MAN for safety)
Fixes #26274
| -rw-r--r-- | mk/prepare.mk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/mk/prepare.mk b/mk/prepare.mk index e5f97543084..d196b71c3c8 100644 --- a/mk/prepare.mk +++ b/mk/prepare.mk @@ -29,7 +29,10 @@ DEFAULT_PREPARE_MAN_CMD = install -m644 # Create a directory # $(1) is the directory +# +# Gee, what's up with that $(nop)? See comment below. define PREPARE_DIR + $(nop) @$(call E, prepare: $(1)) $(Q)$(PREPARE_DIR_CMD) $(1) endef @@ -68,7 +71,10 @@ endef # Copy a man page # $(1) - source dir +# +# Gee, what's up with that $(nop)? See comment above. define PREPARE_MAN + $(nop) @$(call E, prepare: $(PREPARE_DEST_MAN_DIR)/$(1)) $(Q)$(PREPARE_MAN_CMD) $(PREPARE_SOURCE_MAN_DIR)/$(1) $(PREPARE_DEST_MAN_DIR)/$(1) endef |