root
/
spring-boot
mirror of https://github.com/spring-projects/spring-boot.git
1
0
Fork 0
Code Issues Actions 15 Packages Projects Releases Wiki Activity

Polish "Make excludeDevtools available as a user property" 

Closes gh-16701
This commit is contained in:
Stephane Nicoll 2019-05-20 10:38:15 +02:00
parent dcc09ffac2
commit 66dc728018
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spring-boot-project/spring-boot-tools/spring-boot-maven-plugin/src/main/java/org/springframework/boot/maven/RepackageMojo.java
View File

@ -193,7 +193,7 @@ public class RepackageMojo extends AbstractDependencyFilterMojo {
* Exclude Spring Boot devtools from the repackaged archive. * Exclude Spring Boot devtools from the repackaged archive.
* @since 1.3 * @since 1.3
*/ */
@Parameter(property = "spring-boot.excludeDevtools", defaultValue = "true") @Parameter(property = "spring-boot.repackage.excludeDevtools", defaultValue = "true")
private boolean excludeDevtools = true; private boolean excludeDevtools = true;
/** /**