1 files changed, 11 insertions, 0 deletions
diff --git a/src/rt/rust_proxy.h b/src/rt/rust_proxy.h
index 8059dd89..e2fa5e00 100644
--- a/src/rt/rust_proxy.h
+++ b/src/rt/rust_proxy.h
@@ -28,4 +28,15 @@ public:
     }
 };
 
+//
+// Local Variables:
+// mode: C++
+// fill-column: 78;
+// indent-tabs-mode: nil
+// c-basic-offset: 4
+// buffer-file-coding-system: utf-8-unix
+// compile-command: "make -k -C .. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+// End:
+//
+
 #endif /* RUST_PROXY_H */