From f84b2df97f948372c114165734c3e41bafdcbe38 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 3 Mar 2022 22:14:10 -0500 Subject: [PATCH] vendor curly (for vfs-pack) --- .gitmodules | 3 +++ vendor/curly | 1 + vfs_path.sh | 2 ++ 3 files changed, 6 insertions(+) create mode 100644 .gitmodules create mode 160000 vendor/curly create mode 100755 vfs_path.sh 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 -- $@