Changeset b619d2814531e3947cf31775a0ae3e046dcb34d0

Show
Ignore:
Timestamp:
04/15/03 01:07:38 (5 years ago)
Author:
Sam Hocevar <sam@videolan.org>
git-committer:
Sam Hocevar <sam@videolan.org> 1050361658 +0000
git-parent:

[8309297564a6b274aa4a4a4c4b16794074d210f2]

git-author:
Sam Hocevar <sam@videolan.org> 1050361658 +0000
Message:
  • ./toolbox: fixed a bashism.
Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • toolbox

    re0cc8b3 rb619d28  
    22 
    33##  toolbox for the VLC media player 
    4 ##  $Id: toolbox,v 1.21 2003/04/09 16:05:58 sam Exp $ 
     4##  $Id: toolbox,v 1.22 2003/04/14 23:07:38 sam Exp $ 
    55## 
    66##  Authors: Samuel Hocevar <sam@zoy.org> 
     
    361361  cat ${LIBVLC_HEADERS} | grep '^ *VLC_EXPORT.*;' | sed -e 's/VLC_EXPORT( *\([^,]*\), *\([^,]*\), *\(.*\));.*/#   define \2 p_symbols->\2_inner/' >> ${file}.in 
    362362  echo '#endif /* __PLUGIN__ */' >> ${file}.in 
    363   if ! diff -q ${file} ${file}.in 
     363  if diff -q ${file} ${file}.in 
    364364  then 
     365    rm -f ${file}.in 
     366  else 
    365367    mv -f ${file}.in ${file} 
    366   else 
    367     rm -f ${file}.in 
    368368  fi 
    369369 
     
    375375  cat ${LIBVLC_HEADERS} | grep '^ *VLC_EXPORT.*;' | sed -e 's/VLC_EXPORT( *\([^,]*\), *\([^,]*\), *\(.*\));.*/    (p_symbols)->\2_inner = \2; \\/' >> ${file}.tmp 
    376376  echo '' >> ${file}.tmp 
    377   if ! diff -q ${file} ${file}.tmp 
     377  if diff -q ${file} ${file}.tmp 
    378378  then 
     379    rm -f ${file}.tmp 
     380  else 
    379381    mv -f ${file}.tmp ${file} 
    380   else 
    381     rm -f ${file}.tmp 
    382382  fi 
    383383 
     
    405405  echo "    } while( 0 );" >> ${file}.tmp 
    406406  echo "" >> ${file}.tmp 
    407   if ! diff -q ${file} ${file}.tmp 
     407  if diff -q ${file} ${file}.tmp 
    408408  then 
     409    rm -f ${file}.tmp 
     410  else 
    409411    mv -f ${file}.tmp ${file} 
    410   else 
    411     rm -f ${file}.tmp 
    412412  fi 
    413413