Merge pull request #11215 from jetty/fix/12.0.x/windows-build

Fix Build on Windows
This commit is contained in:
Joakim Erdfelt 2024-01-02 17:34:34 -06:00 committed by GitHub
commit 0740b6d1b2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions

View File

@ -24,8 +24,8 @@
<global>
<glob>{*.java,*.xml,*.properties,*.mod,*.adoc}</glob>
<excludes>
<exclude>*Jenkinsfile*</exclude>
<exclude>./idea/*</exclude>
<exclude glob="*Jenkinsfile*" />
<exclude glob="./idea/*" />
</excludes>
</global>
<plugins>

View File

@ -1985,7 +1985,7 @@
</os>
</activation>
<properties>
<jetty.unixdomain.dir>${user.home}</jetty.unixdomain.dir>
<jetty.unixdomain.dir>${java.io.tmpdir}</jetty.unixdomain.dir>
</properties>
</profile>
<profile>