diff options
| author | Justus Winter <justus@sequoia-pgp.org> | 2020-02-13 12:56:56 +0100 |
|---|---|---|
| committer | Justus Winter <justus@sequoia-pgp.org> | 2020-02-13 12:56:56 +0100 |
| commit | b61438c891b7c6a38db647ce08726ea41df3ab06 (patch) | |
| tree | 67a8e19c824cee8d69ff6fc7d190fa2cbe366f26 /ffi | |
| parent | c1f8d19413293d40628fe04fbd2f51d99e375801 (diff) | |
openpgp-ffi, ffi: Always remake all examples.
- Due to missing tracking of header files as inputs, make may miss
changes there and not rebuild an example. Always rebuilding all
examples should be quick enough, and avoids this problem.
Diffstat (limited to 'ffi')
| -rw-r--r-- | ffi/Makefile | 2 |
1 files changed, 1 insertions, 1 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 |