diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 00000000..f5f716b3 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "vendor/curly"] + path = vendor/curly + url = https://github.com/rgrinberg/curly.git diff --git a/vendor/curly b/vendor/curly new file mode 160000 index 00000000..9417bd97 --- /dev/null +++ b/vendor/curly @@ -0,0 +1 @@ +Subproject commit 9417bd97fdf293f469c38e726c169583638d5aa1 diff --git a/vfs_path.sh b/vfs_path.sh new file mode 100755 index 00000000..0ffdbe90 --- /dev/null +++ b/vfs_path.sh @@ -0,0 +1,2 @@ +#!/bin/sh +exec dune exec --display=quiet src/bin/vfs_pack.exe --profile=release -- $@