diff options
Diffstat (limited to 'core/pom.xml')
-rw-r--r-- | core/pom.xml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/core/pom.xml b/core/pom.xml index 3c8138f974..9a4f234953 100644 --- a/core/pom.xml +++ b/core/pom.xml @@ -417,7 +417,6 @@ </os> </activation> <properties> - <path.separator>\</path.separator> <script.extension>.bat</script.extension> </properties> </profile> @@ -429,7 +428,6 @@ </os> </activation> <properties> - <path.separator>/</path.separator> <script.extension>.sh</script.extension> </properties> </profile> @@ -450,7 +448,7 @@ </execution> </executions> <configuration> - <executable>..${path.separator}R${path.separator}install-dev${script.extension}</executable> + <executable>..${file.separator}R${file.separator}install-dev${script.extension}</executable> </configuration> </plugin> </plugins> |