diff options
author | David Williams | 2014-11-10 00:36:37 +0000 |
---|---|---|
committer | David Williams | 2014-11-10 00:36:37 +0000 |
commit | 81d7b216dfad707841eb0dec2f0ec1a69bf531b7 (patch) | |
tree | e63b5fa29343a09b65ad27c5b62d6454d4e95355 /production/build-functions.shsource | |
parent | 958e419a1b8b3d4ce3cb6d42fe4216eade99d654 (diff) | |
download | eclipse.platform.releng.aggregator-81d7b216dfad707841eb0dec2f0ec1a69bf531b7.tar.gz eclipse.platform.releng.aggregator-81d7b216dfad707841eb0dec2f0ec1a69bf531b7.tar.xz eclipse.platform.releng.aggregator-81d7b216dfad707841eb0dec2f0ec1a69bf531b7.zip |
Bug 444243 - Improve scripts to handle performance tests
Diffstat (limited to 'production/build-functions.shsource')
-rwxr-xr-x | production/build-functions.shsource | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/production/build-functions.shsource b/production/build-functions.shsource index 6e2176be7..3816107d3 100755 --- a/production/build-functions.shsource +++ b/production/build-functions.shsource @@ -1,6 +1,6 @@ #!/usr/bin/env bash -# General purpose utilities related to git and similar, +# General purpose utilities related to git and similar, # to be sourced where needed source ${SCRIPT_PATH}/bashUtilities.shsource @@ -1217,7 +1217,7 @@ fn-write-property-init () # nothing really required for bash shsource, but we'll put in some niceties echo "#!/usr/bin/env bash" > $BUILD_ENV_FILE echo "# properties written for $BUILD_ID" >> $BUILD_ENV_FILE - # PHP, suitable for direct "include": needs to start and end with <?php ... + # PHP, suitable for direct "include": needs to start and end with <?php ... echo "<?php " > $BUILD_ENV_FILE_PHP echo "// properties written for $BUILD_ID " >> $BUILD_ENV_FILE_PHP # standard properties file: nothing special required @@ -1233,10 +1233,10 @@ fn-write-property-close () if [[ $? != 0 ]]; then return 1; fi # nothing really required for bash shsource, but we'll put in some niceties echo "# finished properties for $BUILD_ID" >> $BUILD_ENV_FILE - # PHP, suitable for direct "include": needs to start and end with <?php ... + # PHP, suitable for direct "include": needs to start and end with <?php ... # Note: technically best not to use closing ?> for an 'include' echo "// finished properties for $BUILD_ID " >> $BUILD_ENV_FILE_PHP - + # standard properties file: nothing special required echo "! finshed properties for $BUILD_ID" >> $BUILD_ENV_FILE_PROP |