Skip to content

Commit

Permalink
Makefile: Fixed 'permission denied' error when make clean after Docke…
Browse files Browse the repository at this point in the history
…r make in Ubuntu.
  • Loading branch information
cp-wjhan committed May 29, 2024
1 parent 5ff16ae commit e5607b3
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -120,6 +120,7 @@ gmet-linux:
docker build -t meta/builder:local \
-f Dockerfile.metadium . && \
docker run -e HOME=/tmp --rm -v $(shell pwd):/data \
-u $(shell id -u):$(shell id -g) \
-w /data meta/builder:local \
"git config --global --add safe.directory /data;\
make USE_ROCKSDB=$(USE_ROCKSDB)"; \
Expand Down

0 comments on commit e5607b3

Please sign in to comment.