diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/generate-file-lists.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/generate-file-lists.js b/scripts/generate-file-lists.js index d1f5e77585..546ce38235 100755 --- a/scripts/generate-file-lists.js +++ b/scripts/generate-file-lists.js @@ -145,7 +145,8 @@ generateFileList('vendor/mapbox-base-files.json', 'vendor/mapbox-base/mapbox/geojson.hpp', 'vendor/mapbox-base/mapbox/jni.hpp', 'vendor/mapbox-base/mapbox/weak', - 'vendor/mapbox-base/mapbox/typewrapper' ], + 'vendor/mapbox-base/mapbox/typewrapper', + 'vendor/mapbox-base/mapbox/value'], vendorRegex, [ "include/*.hpp", "include/**/*.hpp", "include/**/*.h", "optional.hpp", ":!:include/jni/string_conversion.hpp" ]); generateFileList('vendor/polylabel-files.json', [ 'vendor/polylabel' ], vendorRegex, [ "include/**/*.hpp" ]); generateFileList('vendor/protozero-files.json', [ 'vendor/protozero' ], vendorRegex, [ "include/**/*.hpp" ]); |