From eaca3f7cd13f8690d70dde5c0736f3fceed9c822 Mon Sep 17 00:00:00 2001
From: Avi Kivity <avi@cloudius-systems.com>
Date: Mon, 3 Aug 2015 22:37:32 +0300
Subject: [PATCH] build: forward compiler selection to seastar configuration

---
 configure.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/configure.py b/configure.py
index eef16cc42a..0755b6f5be 100755
--- a/configure.py
+++ b/configure.py
@@ -433,6 +433,8 @@ if args.dpdk:
 elif args.dpdk_target:
     seastar_flags += ['--dpdk-target', args.dpdk_target]
 
+seastar_flags += ['--compiler', args.cxx]
+
 status = subprocess.call(['./configure.py'] + seastar_flags, cwd = 'seastar')
 
 if status != 0: