From 716f2f5df67197c13b7115c48f7215e0ad09852d Mon Sep 17 00:00:00 2001 From: Rajkumar Janakiraman Date: Thu, 8 Sep 2016 14:05:28 -0700 Subject: [PATCH] Note to update GetClrDbg.sh in MIEngine. (#751) * Note to update GetClrDbg.sh in MIEngine. --- src/platform.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/platform.ts b/src/platform.ts index 773df9b..6e3ae3c 100644 --- a/src/platform.ts +++ b/src/platform.ts @@ -30,6 +30,7 @@ export function getCurrentPlatform() { else if (process.platform === 'linux') { // Get the text of /etc/os-release to discover which Linux distribution we're running on. // For details: https://www.freedesktop.org/software/systemd/man/os-release.html + // When any new distro or version is added, please update GetClrDbg.sh in MIEngine or inform the contributers of MIEngine. const text = child_process.execSync('cat /etc/os-release').toString(); const lines = text.split('\n');