changeset 5705:e8212bb6fd61 octave-forge

modify libtool only if necessary to avoid timestamp changes Use copy-if-moved.sh instead of a simple mv when fixing up libtool to avoid its timestamp being changed causing an unnecessary rebuild of the source code
author lindnerb
date Fri, 05 Jun 2009 20:30:29 +0000
parents 15b7cc75ac99
children b289dc7e1b87
files admin/Windows/mingw32/gcc43_common.sh
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/admin/Windows/mingw32/gcc43_common.sh	Wed Jun 03 20:28:12 2009 +0000
+++ b/admin/Windows/mingw32/gcc43_common.sh	Fri Jun 05 20:30:29 2009 +0000
@@ -420,21 +420,21 @@
 {
    # remove the 'LIB' prefix of shared library names
    echo "  Removing 'LIB' prefix of shared library names..."
-   sed -e '/^soname_spec/ s+"\\${libname}+"\\\`echo \\\${libname} | \\\$SED -e s/^lib//\\\`+' $1 > $1.mod && mv $1.mod $1
+   sed -e '/^soname_spec/ s+"\\${libname}+"\\\`echo \\\${libname} | \\\$SED -e s/^lib//\\\`+' $1 > $1.mod && ${CP} ${CP_FLAGS} $1.mod $1
 }
 
 _libtool_removerelease()
 {
    # remove the ${release} from shared library names
    echo "  Removing \${release} from shared library names..."
-   sed -e '/^soname_spec/ s+\\`echo \\${release} | \\$SED -e s/\[.\]/-/g\\`++' $1 > $1.mod && mv $1.mod $1
+   sed -e '/^soname_spec/ s+\\`echo \\${release} | \\$SED -e s/\[.\]/-/g\\`++' $1 > $1.mod && ${CP} ${CP_FLAGS} $1.mod $1
 }
 
 _libtool_removeversuffix()
 {
    # remove the ${versuffix} from shared library names
    echo "  Removing \${versuffix} from shared library names..."
-   sed -e '/^soname_spec/ s+\\\${versuffix}++' $1 > $1.mod && mv $1.mod $1
+   sed -e '/^soname_spec/ s+\\\${versuffix}++' $1 > $1.mod && ${CP} ${CP_FLAGS} $1.mod $1
 }
 
 clone()