Merge pull request #86 from wenshao/master

tools.jar的依赖添加optional属性
2023-03-04 19:17:16 +00:00 · 2012-08-26 19:29:56 -07:00
parent 6b3151975a 11d4b2b9b9
commit f172f0a756
1 changed files with 1 additions and 0 deletions
@@ -286,6 +286,7 @@
 					<version>1.6.0</version>
 					<scope>system</scope>
 					<systemPath>${toolsjar}</systemPath>
+					<optional>true</optional>
 				</dependency>
 			</dependencies>
 		</profile>