From d0a41d974a4fbd79f5e9f102c5b8c050c3728878 Mon Sep 17 00:00:00 2001
From: Paul Gschwendtner <paulgschwendtner@gmail.com>
Date: Tue, 18 Apr 2017 18:25:57 +0200
Subject: [PATCH] chore: remove travis fold utility (#4132)

Removes the Travis CI fold utility file. The file isn't used in our CI
process and is therefore unnecessary.
---
 tools/travis/fold.ts | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 tools/travis/fold.ts

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));
-    }
-  };
-}