about summary refs log tree commit diff stats
path: root/cpp/tangle/030tangle.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-04-24 22:00:15 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-04-24 22:00:15 -0700
commit0e82b1d4277e947f19b63331f0a50dec90e0462c (patch)
tree8fa1df78c71c72ea8d9cd82fa91e100a3ac780b8 /cpp/tangle/030tangle.cc
parent6ca059efce56104efc766255459e665fc7e7705b (diff)
downloadmu-0e82b1d4277e947f19b63331f0a50dec90e0462c.tar.gz
1185 - inline C++ in scenarios
Diffstat (limited to 'cpp/tangle/030tangle.cc')
-rw-r--r--cpp/tangle/030tangle.cc9
1 files changed, 3 insertions, 6 deletions
diff --git a/cpp/tangle/030tangle.cc b/cpp/tangle/030tangle.cc
index a7769129..872b4d9d 100644
--- a/cpp/tangle/030tangle.cc
+++ b/cpp/tangle/030tangle.cc
@@ -283,12 +283,9 @@ void emit_test(const string& name, list<Line>& lines, list<Line>& result) {
   lines.pop_front(); \
 }
   while (any_non_input_line(lines)) {
-    if (front(lines).contents == "hide warnings") {
-      SHIFT("  Hide_warnings = true;");
-    }
-    if (starts_with(front(lines).contents, "dump ")) {
-      string line = front(lines).contents.substr(strlen("dump "));
-      SHIFT("  Trace_stream->dump_layer = \""+line+"\";");
+    while (!lines.empty() && starts_with(front(lines).contents, "% ")) {
+      string line = front(lines).contents.substr(strlen("% "));
+      SHIFT("  "+line);
     }
     result.push_back(input_lines(lines));
     if (!lines.empty() && !front(lines).contents.empty() && front(lines).contents[0] == '+')