ref: 7aed123d4be229ea351686c1b07abb2545fbc58a
parent: 1019a2ac1f7a618dccddf92c562811e465e5de8d
author: Paul Brossier <piem@piem.org>
date: Mon May 2 22:48:27 EDT 2016
Makefile: pass options to waf distcheck
--- a/Makefile
+++ b/Makefile
@@ -54,7 +54,7 @@
$(WAFCMD) clean
distcheck: checkwaf
- $(WAFCMD) distcheck
+ $(WAFCMD) distcheck $(WAFOPTS) $(ENABLE_DOUBLE)
help:
$(WAFCMD) --help