#!/bin/bash
echo "Updating make files in ~/developer/_root_/Ceda/_BUILD/Init/Linuxx64/build_xcpp..."
cp ~/developer/build_linuxx64_xcpp/build/make*Release ~/developer/_root_/Ceda/_BUILD/Init/Linuxx64/build_xcpp
cp ~/developer/build_linuxx64_xcpp/build/wsBuild.make ~/developer/_root_/Ceda/_BUILD/Init/Linuxx64/build_xcpp
echo "Update of make files completed."