diff --git a/compiler/utilities/_tags b/compiler/utilities/_tags index 847b80e..d04f1bc 100644 --- a/compiler/utilities/_tags +++ b/compiler/utilities/_tags @@ -1,2 +1 @@ :include -: camlp4o, use_preproc diff --git a/compiler/utilities/global/_tags b/compiler/utilities/global/_tags new file mode 100644 index 0000000..d422171 --- /dev/null +++ b/compiler/utilities/global/_tags @@ -0,0 +1 @@ +: camlp4o, use_preproc