aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--bbot/agent/machine.cxx10
1 files changed, 10 insertions, 0 deletions
diff --git a/bbot/agent/machine.cxx b/bbot/agent/machine.cxx
index 911d65b..443ab28 100644
--- a/bbot/agent/machine.cxx
+++ b/bbot/agent/machine.cxx
@@ -309,11 +309,21 @@ namespace bbot
}
else
{
+ // @@ TMP: libstud-optional issue #1.
+ //
+#if 0
auto add = [&os] (string o, optional<string> v = {})
{
os.push_back (move (o));
if (v) os.push_back (move (*v));
};
+#else
+ auto add = [&os] (string o, string v = {})
+ {
+ os.push_back (move (o));
+ if (!v.empty ()) os.push_back (move (v));
+ };
+#endif
// Network.
//