2017-02-04 07:24:23 -08:00
|
|
|
<component name="ProjectRunConfigurationManager">
|
|
|
|
<configuration default="false" name="build-teavm-fast" type="MavenRunConfiguration" factoryName="Maven">
|
|
|
|
<MavenSettings>
|
|
|
|
<option name="myGeneralSettings" />
|
|
|
|
<option name="myRunnerSettings" />
|
|
|
|
<option name="myRunnerParameters">
|
|
|
|
<MavenRunnerParameters>
|
|
|
|
<option name="profiles">
|
|
|
|
<set />
|
|
|
|
</option>
|
|
|
|
<option name="goals">
|
|
|
|
<list>
|
|
|
|
<option value="install" />
|
|
|
|
<option value="-DskipTests" />
|
|
|
|
<option value="-Dteavm.build.all=false" />
|
2018-01-26 13:23:12 -08:00
|
|
|
<option value="-Pwith-cli" />
|
2018-11-22 04:20:02 -08:00
|
|
|
<option value="-Dmaven.javadoc.skip=true" />
|
2017-02-04 07:24:23 -08:00
|
|
|
</list>
|
|
|
|
</option>
|
2018-11-22 04:20:02 -08:00
|
|
|
<option name="pomFileName" />
|
2017-02-04 07:24:23 -08:00
|
|
|
<option name="profilesMap">
|
|
|
|
<map />
|
|
|
|
</option>
|
|
|
|
<option name="resolveToWorkspace" value="false" />
|
|
|
|
<option name="workingDirPath" value="$PROJECT_DIR$" />
|
|
|
|
</MavenRunnerParameters>
|
|
|
|
</option>
|
|
|
|
</MavenSettings>
|
2018-11-22 04:20:02 -08:00
|
|
|
<method v="2" />
|
2017-02-04 07:24:23 -08:00
|
|
|
</configuration>
|
|
|
|
</component>
|