From 7aed123d4be229ea351686c1b07abb2545fbc58a Mon Sep 17 00:00:00 2001
From: Paul Brossier <piem@piem.org>
Date: Tue, 3 May 2016 02:48:27 +0200
Subject: [PATCH] Makefile: pass options to waf distcheck

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1d7dda98..939c7c1d 100644
--- a/Makefile
+++ b/Makefile
@@ -54,7 +54,7 @@ clean:
 	$(WAFCMD) clean
 
 distcheck: checkwaf
-	$(WAFCMD) distcheck
+	$(WAFCMD) distcheck $(WAFOPTS) $(ENABLE_DOUBLE)
 
 help:
 	$(WAFCMD) --help
-- 
2.11.0