Skip to content

Commit

Permalink
Note to update GetClrDbg.sh in MIEngine. (#751)
Browse files Browse the repository at this point in the history
* Note to update GetClrDbg.sh in MIEngine.
  • Loading branch information
rajkumar42 authored Sep 8, 2016
1 parent 471c863 commit 716f2f5
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/platform.ts
Original file line number Diff line number Diff line change
Expand Up @@ -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');

Expand Down

0 comments on commit 716f2f5

Please sign in to comment.