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