add option to disable bootstrapping from Node

jcubic · Jan 19, 2024 · b68bbae · b68bbae
1 parent 18dd465
commit b68bbae
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/bin/lips.js b/bin/lips.js
@@ -122,6 +122,9 @@ function print(result) {
 
 // -----------------------------------------------------------------------------
 function bootstrap(interpreter) {
+    if (options.bootstrap === 'none') {
+        return Promise.resolve();
+    }
     const file = options.bootstrap ? options.bootstrap : './dist/std.xcb';
     function read(name) {
         var path;