This commit was generated by cvs2svn to compensate for changes in r2,

[vsys.git] / globals.ml

diff --git a/globals.ml b/globals.ml
new file mode 100644 (file)
index 0000000..26230b8
--- /dev/null
+++ b/globals.ml
@@ -0,0 +1,9 @@
+let frontend = ref ""
+let backend = ref ""
+let debug = ref true
+
+type fd_and_fname = string option * Unix.file_descr
+type relpath = Relpath of string
+
+exception Bad_path 
+exception Bug