diff options
author | David Williams | 2013-03-06 03:45:44 +0000 |
---|---|---|
committer | David Williams | 2013-03-06 03:45:44 +0000 |
commit | f7bb30b6dd997e0ca8509c14245cb44e960b65e1 (patch) | |
tree | 0114521657a8b3c2e6eff6a4b87f998a8bad0735 /production/build-functions.sh | |
parent | 96621b337a1491d93cc7ff9a2ce251fa92ea712a (diff) | |
download | eclipse.platform.releng.aggregator-f7bb30b6dd997e0ca8509c14245cb44e960b65e1.tar.gz eclipse.platform.releng.aggregator-f7bb30b6dd997e0ca8509c14245cb44e960b65e1.tar.xz eclipse.platform.releng.aggregator-f7bb30b6dd997e0ca8509c14245cb44e960b65e1.zip |
[releng] improve loggingI20130305-2300
Diffstat (limited to 'production/build-functions.sh')
-rwxr-xr-x | production/build-functions.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/production/build-functions.sh b/production/build-functions.sh index cbf22c78e..1ee4eda7a 100755 --- a/production/build-functions.sh +++ b/production/build-functions.sh @@ -295,6 +295,7 @@ fn-maven-build-aggregator () echo "DEBUG: QUIET: $QUIET" echo "DEBUG: UPDATE_BRANDING: $UPDATE_BRANDING" echo "DEBUG: MAVEN_BREE: $MAVEN_BREE" + echo "DEBUG: MARGS: $MARGS" pushd "$REPO_DIR" mvn $MARGS \ clean install \ |