Harvey-OS / harvey

A distributed operating system
https://harvey-os.org/
MIT License
1.44k stars 105 forks source link

Fix git9 build in the distribution. #1159

Closed paul-lalonde closed 3 years ago

paul-lalonde commented 3 years ago

Git was being compiled, but its script library was not included in the distribution.

Add /sys/lib/git to mkdirs Add /sys/lib/git to dist/replica/plan9.proto

[really just pipecleaning my git process here...]

Signed-off-by: Paul Lalonde plalonde@acm.org

rminnich commented 3 years ago

Welcome to harvey, it's very nice to have you here.