From 7fff4499fd915bcea3fa93b1aa8b35f4fe7a6027 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Sun, 28 May 2017 00:38:50 +0200
Subject: add linting (and some initial fixes)

---
 node_modules/require-precompiled/index.js | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 node_modules/require-precompiled/index.js

(limited to 'node_modules/require-precompiled/index.js')

diff --git a/node_modules/require-precompiled/index.js b/node_modules/require-precompiled/index.js
new file mode 100644
index 000000000..3e6f18a69
--- /dev/null
+++ b/node_modules/require-precompiled/index.js
@@ -0,0 +1,18 @@
+'use strict';
+module.exports = install;
+
+function install(precompile, ext, extensions) {
+	ext = ext || '.js';
+	extensions = extensions || require.extensions;
+
+	var oldExtension = extensions[ext];
+
+	extensions[ext] = function (module, filename) {
+		var source = precompile(filename);
+		if (source) {
+			module._compile(source, filename);
+			return;
+		}
+		oldExtension(module, filename);
+	};
+}
-- 
cgit v1.2.3