Fix env.CI property

lenskit · Sep 25, 2013 · 3c54832 · 3c54832
1 parent 80cf955
commit 3c54832
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -631,7 +631,7 @@
       <id>lint</id>
       <activation>
         <property>
-          <name>CI</name>
+          <name>env.CI</name>
           <value>true</value>
         </property>
       </activation>