|
@@ -1,7 +1,12 @@
|
|
|
MACH=`(cd .. ; basename \`pwd\`)`
|
|
|
-if cp $1 ../../../lib/${MACH}/$1
|
|
|
+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
|
|
|
+ }
|
|
|
then
|
|
|
set -
|
|
|
ranlib ../../../lib/${MACH}/$1 >/dev/null 2>&1
|
|
|
exit 0
|
|
|
+else
|
|
|
+ echo Sorry, can not create "lib/${MACH}/$1".
|
|
|
fi
|