Fix the Dockerfile

JonathanSalwan · Jun 19, 2016 · 21e0477 · 21e0477
1 parent db046ee
commit 21e0477
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -27,5 +27,5 @@ RUN cd /opt && curl -o pin.tgz -L http://software.intel.com/sites/landingpage/pi
 #     make install && cd .. && python setup.py install
 RUN cd /opt/pin-2.14-71313-gcc.4.4.7-linux/source/tools/ && \
    curl -o master.zip -L https://github.com/JonathanSalwan/Triton/archive/master.zip && unzip master.zip && cd Triton-master/ && mkdir build && cd build && \
-   cmake -G "Unix Makefiles" -DPINTOOL=on -DKERNEL4=on .. && make install && cd .. && python setup.py install
+   cmake -G "Unix Makefiles" -DPINTOOL=on -DKERNEL4=on .. && make install && cd ..
 ENTRYPOINT /bin/bash