From e436be9574a68e69290e0932ce0407079add3cd4 Mon Sep 17 00:00:00 2001
From: David Anderson <davea@ssl.berkeley.edu>
Date: Thu, 18 May 2017 12:34:41 -0700
Subject: [PATCH] client: show alt platforms in event log at startup.  Fixes
 #1920.

---
 client/log_flags.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/client/log_flags.cpp b/client/log_flags.cpp
index 6ced055ee1..04554ca6a0 100644
--- a/client/log_flags.cpp
+++ b/client/log_flags.cpp
@@ -196,6 +196,11 @@ void CC_CONFIG::show() {
     if (dont_use_vbox) {
         msg_printf(NULL, MSG_INFO, "Config: don't use VirtualBox");
     }
+    for (i=0; i<alt_platforms.size(); i++) {
+        msg_printf(NULL, MSG_INFO,
+            "Config: alternate platform: %s", alt_platforms[i].c_str()
+        );
+    }
     for (i=0; i<exclude_gpus.size(); i++) {
         show_exclude_gpu(exclude_gpus[i]);
     }