diff -r 6377bc687c93 -r 2573519c00d6 scripts/saveSample.sh --- a/scripts/saveSample.sh Thu Oct 23 21:13:50 2008 +0000 +++ b/scripts/saveSample.sh Thu Nov 13 18:22:23 2008 +0000 @@ -59,8 +59,8 @@ CT_DoAddFileToSample() { source="$1" dest="$2" - inode_s=$(ls -i "${source}" |awk '{ print $1; }') - inode_d=$(ls -i "${dest}" 2>/dev/null |awk '{ print $1; }' || true) + inode_s=$(ls -i "${source}" |gawk '{ print $1; }') + inode_d=$(ls -i "${dest}" 2>/dev/null |gawk '{ print $1; }' || true) if [ "${inode_s}" != "${inode_d}" ]; then cp "${source}" "${dest}" fi