Ignore:
Timestamp:
Nov 16, 2009, 11:27:19 PM (12 years ago)
Author:
Jari Häkkinen
Message:

Merged trunk changes -r782:844 to replacing_gnuplot branch.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/replacing_gnuplot/build_support/move-if-change

    r646 r845  
    33# Status is zero if successful, nonzero otherwise.
    44
    5 usage="$0: usage: $0 SOURCE DEST"
     5usage="$0: usage: $0 [-v] SOURCE DEST"
     6
     7if test "x$1" = "x-v"; then
     8  verbose=yes
     9  shift
     10fi
    611
    712case $# in
     
    1924  rm -f "$1"
    2025else
     26  if test "x$verbose" = "xyes"; then
     27    echo "updating file $2"
     28  fi
    2129  mv -f "$1" "$2"
    2230fi
Note: See TracChangeset for help on using the changeset viewer.