#
# Restore previous configuration
#
- PREVIOUS_CONF_FILE=Conf/BuildEnv.sh2
+ PREVIOUS_CONF_FILE=Conf/BuildEnv.sh
if [ -e $PREVIOUS_CONF_FILE ]
then
echo Loading previous configuration from \$WORKSPACE/$PREVIOUS_CONF_FILE
# Write configuration to a shell script to allow for configuration to be
# easily reloaded.
#
- OUTPUT_FILE=Conf/BuildEnv.sh2
+ OUTPUT_FILE=Conf/BuildEnv.sh
#echo Storing current configuration into \$WORKSPACE/$OUTPUT_FILE
OUTPUT_FILE=$WORKSPACE/$OUTPUT_FILE
echo "# Auto-generated by ${BASH_SOURCE[0]}" > $OUTPUT_FILE