Merge pull request #1 from deepmind/master

Merge with deepmind/lab master
superMDguy · Oct 18, 2017 · 18cb4fd · 18cb4fd
2 parents ee6ad80 + 87f8993
commit 18cb4fd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/docs/python_api.md b/docs/python_api.md
@@ -16,8 +16,8 @@ import deepmind_lab
 #import deepmind_lab_py3 as deepmind_lab
 
 # Construct and start the environment.
-lab = deepmind_lab.Lab('seekavoid_arena_01', ['RGB_INTERLACED'])
-lab.reset()
+env = deepmind_lab.Lab('seekavoid_arena_01', ['RGB_INTERLACED'])
+env.reset()
 
 # Create all-zeros vector for actions.
 action = np.zeros([7], dtype=np.intc)

diff --git a/glib.BUILD b/glib.BUILD
@@ -14,7 +14,7 @@ genrule(
         "config.h",
         "glibconfig.h",
     ],
-    cmd = "./$(location configure) --disable-fam " +
+    cmd = "./$(location configure) --disable-fam --enable-dtrace=no " +
           "&& cp --verbose -- config.h $(location config.h)" +
           "&& cp --verbose -- glib/glibconfig.h $(location glibconfig.h)",
 )