Skip to content

Commit 87f2abd

Browse files
authored
Correct tools directory copy command in Dockerfile (#171)
Fix the copy command for tools directory in Dockerfile. Signed-off-by: yuluo-yx <[email protected]>
1 parent 80f95fb commit 87f2abd

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

Dockerfile.extproc

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,6 @@ COPY tools/make/ tools/make/
1515
COPY Makefile ./
1616
COPY candle-binding/Cargo.toml candle-binding/
1717
COPY candle-binding/src/ candle-binding/src/
18-
Copy tools ./tools
1918

2019
# Use Makefile to build the Rust library
2120
RUN make rust

0 commit comments

Comments
 (0)