diff --git a/src/osdi/exported.txt b/src/osdi/exported.txt new file mode 100644 index 000000000..90009efce --- /dev/null +++ b/src/osdi/exported.txt @@ -0,0 +1,7 @@ +{ + extern "C" + { + osdi_init_log_message; + osdi_finish_log_message; + }; +};