projects / aubio.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1019a2a)
Makefile: pass options to waf distcheck
authorPaul Brossier <piem@piem.org>
Tue, 3 May 2016 00:48:27 +0000 (02:48 +0200)
committerPaul Brossier <piem@piem.org>
Tue, 3 May 2016 00:48:27 +0000 (02:48 +0200)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index 1d7dda9..939c7c1 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -54,7 +54,7 @@ clean:
        $(WAFCMD) clean
 
 distcheck: checkwaf
        $(WAFCMD) clean
 
 distcheck: checkwaf
-       $(WAFCMD) distcheck
+       $(WAFCMD) distcheck $(WAFOPTS) $(ENABLE_DOUBLE)
 
 help:
        $(WAFCMD) --help
 
 help:
        $(WAFCMD) --help
a library for audio labeling