2 # inst.sh <dir> <objs...>
7 if [ "$*" = "*" ]; then exit; fi
10 if [ -f "$f" ]; then ( umask 755; cp "$f" "$dir" ); continue; fi
11 if [ -d "$f" ]; then ( cd $f; $inst_sh "$dir/$f" * )
12 else echo "*** Error - inst.sh $f in $dir failed." 1>&2; exit 1; fi