equal
deleted
inserted
replaced
102 rm -f "$HGTMP/$1.out" |
102 rm -f "$HGTMP/$1.out" |
103 rm -rf "$HGTMP/$1" |
103 rm -rf "$HGTMP/$1" |
104 return $fail |
104 return $fail |
105 } |
105 } |
106 |
106 |
107 # list of prerequisite programs |
107 # list of prerequisite programs |
108 # stuff from coreutils (cat, rm, etc) are not tested |
108 # stuff from coreutils (cat, rm, etc) are not tested |
109 prereqs="python merge diff grep unzip md5sum gunzip sed" |
109 prereqs="python merge diff grep unzip md5sum gunzip sed" |
110 missing='' |
110 missing='' |
111 for pre in $prereqs ; do |
111 for pre in $prereqs ; do |
112 if type $pre > /dev/null 2>&1 ; then |
112 if type $pre > /dev/null 2>&1 ; then |
113 : prereq exists |
113 : prereq exists |
114 else |
114 else |
115 missing="$pre $missing" |
115 missing="$pre $missing" |
116 fi |
116 fi |
117 done |
117 done |
118 |
118 |
119 if [ "$missing" != '' ] ; then |
119 if [ "$missing" != '' ] ; then |