scripts/saveSample.sh
changeset 1017 34267fb0912e
parent 967 6377bc687c93
     1.1 --- a/scripts/saveSample.sh	Thu Oct 23 21:13:50 2008 +0000
     1.2 +++ b/scripts/saveSample.sh	Wed Oct 29 22:27:30 2008 +0000
     1.3 @@ -59,8 +59,8 @@
     1.4  CT_DoAddFileToSample() {
     1.5      source="$1"
     1.6      dest="$2"
     1.7 -    inode_s=$(ls -i "${source}" |awk '{ print $1; }')
     1.8 -    inode_d=$(ls -i "${dest}" 2>/dev/null |awk '{ print $1; }' || true)
     1.9 +    inode_s=$(ls -i "${source}" |gawk '{ print $1; }')
    1.10 +    inode_d=$(ls -i "${dest}" 2>/dev/null |gawk '{ print $1; }' || true)
    1.11      if [ "${inode_s}" != "${inode_d}" ]; then
    1.12          cp "${source}" "${dest}"
    1.13      fi