diff --git a/src/closure-externs/closure-externs.js b/src/closure-externs/closure-externs.js index 66f79e7d2a36e..99f417710e6d5 100644 --- a/src/closure-externs/closure-externs.js +++ b/src/closure-externs/closure-externs.js @@ -268,6 +268,3 @@ Navigator.prototype.webkitGetUserMedia = function( * @type {symbol} */ Symbol.dispose; - -// Common between node-externs and v8-externs -var os = {}; diff --git a/src/closure-externs/v8-externs.js b/src/closure-externs/v8-externs.js index 4f602ac2cdc82..adcb108df3e83 100644 --- a/src/closure-externs/v8-externs.js +++ b/src/closure-externs/v8-externs.js @@ -33,6 +33,11 @@ var scriptArgs = []; */ var quit = function(status) {}; +/** + * @suppress {duplicate} + */ +var os; + /** * @param {string} cmd * @param {Array.=} args diff --git a/third_party/closure-compiler/node-externs/os.js b/third_party/closure-compiler/node-externs/os.js index fabf75e27da69..c0cdeff95d171 100644 --- a/third_party/closure-compiler/node-externs/os.js +++ b/third_party/closure-compiler/node-externs/os.js @@ -27,6 +27,7 @@ END_NODE_INCLUDE */ +var os = {}; /** * @return {string}