add tools.jar optional dependency

2023-03-04 19:17:16 +00:00 · 2012-08-27 10:23:55 +08:00
parent 6b3151975a
commit 11d4b2b9b9
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>