diff options
| -rw-r--r-- | ffi/Makefile | 2 | ||||
| -rw-r--r-- | openpgp-ffi/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/ffi/Makefile b/ffi/Makefile index 361ae0dd..dde7af48 100644 --- a/ffi/Makefile +++ b/ffi/Makefile @@ -53,7 +53,7 @@ test check: .PHONY: examples examples: - $(MAKE) -Cexamples + $(MAKE) -Cexamples --always-make # Installation. .PHONY: build-release diff --git a/openpgp-ffi/Makefile b/openpgp-ffi/Makefile index b25143d6..8d01c41e 100644 --- a/openpgp-ffi/Makefile +++ b/openpgp-ffi/Makefile @@ -66,7 +66,7 @@ check-headers: force-build .PHONY: examples examples: - $(MAKE) -Cexamples + $(MAKE) -Cexamples --always-make # Installation. .PHONY: build-release |