Allow generating json without including extra files
Allows doing ./build.py --generate-stl-options-json
without --include-extra-files
. This will be useful for running the stl selector locally without including the extra non-openscad files.
Allows doing ./build.py --generate-stl-options-json
without --include-extra-files
. This will be useful for running the stl selector locally without including the extra non-openscad files.