1 files changed, 2 insertions, 1 deletions
diff --git a/tools/lint.js b/tools/lint.js
index 97c2447df..699341692 100755
--- a/tools/lint.js
+++ b/tools/lint.js
@@ -24,7 +24,8 @@ if (Deno.args.includes("--rs")) {
 
 if (!didLint) {
   await dlint();
-  await dlintPreferPrimordials();
+  // todo(dsherret): re-enable
+  // await dlintPreferPrimordials();
   console.log("copyright checker");
   await checkCopyright();
   await clippy();