diff --git a/tools/teerex/_tags b/tools/teerex/_tags index c81f0897..4099b13d 100644 --- a/tools/teerex/_tags +++ b/tools/teerex/_tags @@ -2,8 +2,7 @@ <*.trx>: trx_cache -<*.{ml,mli,byte,native}>: use_str, use_libbase, use_compilerlib, use_graph, use_libtrx, use_ocamllang, use_zip, use_buildinfos -#, use_passlib, use_ulex, +<*.{ml,mli,byte,native}>: use_str, use_libbase, use_compilerlib, use_graph, use_libtrx, use_ocamllang, use_zip, use_buildinfos, use_passlib : thread, use_unix : thread, use_unix