echo "RUNNING SETUP_CHANNEL FOR THE SOCK CHANNEL"## NOTE: This file is sourced from the setup_device with the current working# directory set to the top-level build directory.### Variables of interest...## $with_device - device name and arguments# $device_name - name of the device# $device_args - contains name of channel select plus an channel args# $channel_name - name of the channel# $master_top_srcdir - top-level source directory# $master_top_builddir - top-level build directory# $ac_configure_args - all arguments passed to configure#pathlist=""pathlist="$pathlist src/mpid/${device_name}/channels/${channel_name}/include"for path in $pathlist ; do    CPPFLAGS="$CPPFLAGS -I${master_top_builddir}/${path}"    CPPFLAGS="$CPPFLAGS -I${master_top_srcdir}/${path}"done## Use the sock implementation found in the common directory#file=${master_top_srcdir}/src/mpid/common/sock/setupif test -f $file ; then    echo "sourcing $file"    . $filefi