Let's remove the stochastic behaviour..

iqeqsun · Nov 15, 2017 · ebf3d82 · ebf3d82
1 parent 4dff71d
commit ebf3d82
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 5 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -3,5 +3,4 @@ FROM ubuntu:16.04
 RUN mkdir -p /home/travis/
 RUN apt-get update
 RUN apt-get install -y python3 wget sudo
-ENV TC_CI 1
-RUN wget https://raw.githubusercontent.com/yuanming-hu/taichi/dev/install.py && python3 install.py
+RUN wget https://raw.githubusercontent.com/yuanming-hu/taichi/dev/install.py && python3 install.py ci
diff --git a/install.py b/install.py
@@ -14,12 +14,10 @@ def execute_command(line):
   else:
     build_type = 'default'
 
-  if os.environ.get('TC_CI', '') == '1':
-    build_type = 'ci'
-
   assert build_type in ['default', 'ci']
 
   if build_type == 'ci':
+    os.environ['TC_CI'] = '1'
     username = pwd.getpwuid(os.getuid())[0]
   else:
     username = 'travis'