diff options
Diffstat (limited to 'ffi/Makefile')
| -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 |