diff --git a/tools/travis/fold.ts b/tools/travis/fold.ts
deleted file mode 100644
index 066cc823d7f..00000000000
--- a/tools/travis/fold.ts
+++ /dev/null
@@ -1,16 +0,0 @@
-
-function encode(str: string) {
-  return str.replace(/\W/g, '-').replace(/-$/, '');
-}
-
-export function travisFoldStart(name: string): () => void {
-  if (process.env['TRAVIS']) {
-    console.log('travis_fold:start:' + encode(name));
-  }
-
-  return () => {
-    if (process.env['TRAVIS']) {
-      console.log('travis_fold:end:' + encode(name));
-    }
-  };
-}