Restructure config headers

[simgrid.git] / src / include / instr / instr_interface.h

diff --git a/src/include/instr/instr_interface.h b/src/include/instr/instr_interface.h
new file mode 100644 (file)
index 0000000..de9ba70
--- /dev/null
+++ b/src/include/instr/instr_interface.h
@@ -0,0 +1 @@
+void TRACE_help(int detailed);