diff options
author | Tor Egge <Tor.Egge@online.no> | 2023-04-21 13:20:20 +0200 |
---|---|---|
committer | Tor Egge <Tor.Egge@online.no> | 2023-04-21 13:20:20 +0200 |
commit | 24296f55f6ff0210dab080597b30a77a40cf5ccb (patch) | |
tree | 2af49e65f6ee9bd86d601b1fbe77407b15125b5f /parent | |
parent | 16665469cad3ff8c9415168bbecd27ae297da0dc (diff) |
Set java.io.tmpdir system property using command line argument.
Diffstat (limited to 'parent')
-rw-r--r-- | parent/pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parent/pom.xml b/parent/pom.xml index 76f4ef30dda..e6ef7e873fd 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -212,6 +212,7 @@ <java.io.tmpdir>${project.build.directory}</java.io.tmpdir> </systemPropertyVariables> <trimStackTrace>false</trimStackTrace> + <argLine>-Djava.io.tmpdir=${project.build.directory}</argLine> </configuration> </plugin> <plugin> |