From 1a9b2d98038ae5e4984d8e735a197ba9877576d2 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Tue, 1 Jan 2019 13:50:35 -0800
Subject: [PATCH] [xc7] Docker's torc not to make install

---
 .cirrus/Dockerfile.ubuntu16.04 | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.cirrus/Dockerfile.ubuntu16.04 b/.cirrus/Dockerfile.ubuntu16.04
index 673fb54f..cf665c55 100644
--- a/.cirrus/Dockerfile.ubuntu16.04
+++ b/.cirrus/Dockerfile.ubuntu16.04
@@ -58,5 +58,4 @@ RUN set -e -x ;\
     git clone --recursive https://github.com/eddiehung/torc.git ;\
     cd torc ;\
     git reset --hard 90874d1293fbeba77bae41b5c38168cd91e1bf00 ;\
-    make -j $(nproc) -C src/torc ;\
-    make install
+    make -j $(nproc) -C src/torc