1984-11-05 11:55:15 +00:00
|
|
|
MACH=`(cd .. ; basename \`pwd\`)`
|
1984-11-06 10:02:25 +00:00
|
|
|
if cp $1 ../../../lib/${MACH}/$1 >/dev/null 2>&1 ||
|
|
|
|
|
{ rm -f ../../../lib/${MACH}/$1 >/dev/null 2>&1 &&
|
|
|
|
|
cp $1 ../../../lib/${MACH}/$1 >/dev/null 2>&1
|
|
|
|
|
}
|
1984-11-05 11:55:15 +00:00
|
|
|
then
|
|
|
|
|
set -
|
|
|
|
|
ranlib ../../../lib/${MACH}/$1 >/dev/null 2>&1
|
|
|
|
|
exit 0
|
1984-11-06 10:02:25 +00:00
|
|
|
else
|
|
|
|
|
echo Sorry, can not create "lib/${MACH}/$1".
|
1984-11-05 11:55:15 +00:00
|
|
|
fi
|
