diff options
author | Michal Čihař <mcihar@suse.cz> | 2013-08-26 10:48:05 +0400 |
---|---|---|
committer | Michal Čihař <mcihar@suse.cz> | 2013-08-26 10:50:05 +0400 |
commit | 3691b64493934930e72e2b2bc04ac60389f587e5 (patch) | |
tree | fe3b2b1442d2728df1b97e3d76737d758b659554 /build.xml | |
parent | 8fd176ffab0f95d6128b8ce5ef79cfa457da1a3d (diff) |
Allow to override settings file fron environment
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -3,6 +3,8 @@ <project name="phpMyAdmin" default="build" basedir="."> <property name="source" value="."/> <property name="source_comma_sep" value="."/> + <property environment="env"/> + <property name="env.PHPUNIT_XML" value="phpunit.xml.dist"/> <target name="clean" description="Clean up and create artifact directories"> <delete dir="${basedir}/build/api"/> @@ -20,7 +22,7 @@ <target name="phpunit" description="Run unit tests using PHPUnit and generates junit.xml and clover.xml"> <exec executable="phpunit" failonerror="true"> - <arg line="--configuration phpunit.xml.dist"/> + <arg line="--configuration ${env.PHPUNIT_XML}"/> </exec> </target> |