Skip to content

Commit

Permalink
Explicitly create Pin tool build directory in Pin Dockerfile
Browse files Browse the repository at this point in the history
  • Loading branch information
@JanWichelmann
JanWichelmann committed May 18, 2022
1 parent e0eaf8a commit 55edb42
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docker/pin/Dockerfile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ ENV PIN_PATH=/mw/pin
# Build Pin tool
WORKDIR /mw/pintool
COPY PinTracer .
RUN make PIN_ROOT=/mw/pin obj-intel64/PinTracer.so
RUN mkdir -p obj-intel64 && make PIN_ROOT=/mw/pin obj-intel64/PinTracer.so
ENV PINTOOL=/mw/pintool/obj-intel64/PinTracer.so

# Prepare working directory
Expand Down

0 comments on commit 55edb42

Please sign in to comment.