Ignore:
Timestamp:
Jan 16, 2020 4:43:24 AM (16 months ago)
Author:
stefan
Message:

merge branch autotools-update

Location:
ThirdParty/Glpk/trunk
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • ThirdParty/Glpk/trunk

  • ThirdParty/Glpk/trunk/install-sh

    r1568 r4061  
    22# install - install a program, script, or datafile
    33
    4 scriptversion=2005-05-14.22
     4scriptversion=2018-03-11.20; # UTC
    55
    66# This originates from X11R5 (mit/util/scripts/install.sh), which was
     
    3636#
    3737# Calling this script install-sh is preferred over install.sh, to prevent
    38 # `make' implicit rules from creating a file called install from it
     38# 'make' implicit rules from creating a file called install from it
    3939# when there is no Makefile.
    4040#
    4141# This script is compatible with the BSD install script, but was written
    42 # from scratch.  It can only install one file at a time, a restriction
    43 # shared with many OS's install programs.
    44 
    45 # set DOITPROG to echo to test this script
    46 
    47 # Don't use :- since 4.3BSD and earlier shells don't like it.
    48 doit="${DOITPROG-}"
    49 
    50 # put in absolute paths if you don't have them in your path; or use env. vars.
    51 
    52 mvprog="${MVPROG-mv}"
    53 cpprog="${CPPROG-cp}"
    54 chmodprog="${CHMODPROG-chmod}"
    55 chownprog="${CHOWNPROG-chown}"
    56 chgrpprog="${CHGRPPROG-chgrp}"
    57 stripprog="${STRIPPROG-strip}"
    58 rmprog="${RMPROG-rm}"
    59 mkdirprog="${MKDIRPROG-mkdir}"
    60 
    61 chmodcmd="$chmodprog 0755"
     42# from scratch.
     43
     44tab='   '
     45nl='
     46'
     47IFS=" $tab$nl"
     48
     49# Set DOITPROG to "echo" to test this script.
     50
     51doit=${DOITPROG-}
     52doit_exec=${doit:-exec}
     53
     54# Put in absolute file names if you don't have them in your path;
     55# or use environment vars.
     56
     57chgrpprog=${CHGRPPROG-chgrp}
     58chmodprog=${CHMODPROG-chmod}
     59chownprog=${CHOWNPROG-chown}
     60cmpprog=${CMPPROG-cmp}
     61cpprog=${CPPROG-cp}
     62mkdirprog=${MKDIRPROG-mkdir}
     63mvprog=${MVPROG-mv}
     64rmprog=${RMPROG-rm}
     65stripprog=${STRIPPROG-strip}
     66
     67posix_mkdir=
     68
     69# Desired mode of installed file.
     70mode=0755
     71
     72chgrpcmd=
     73chmodcmd=$chmodprog
    6274chowncmd=
    63 chgrpcmd=
     75mvcmd=$mvprog
     76rmcmd="$rmprog -f"
    6477stripcmd=
    65 rmcmd="$rmprog -f"
    66 mvcmd="$mvprog"
     78
    6779src=
    6880dst=
    6981dir_arg=
    70 dstarg=
    71 no_target_directory=
    72 
    73 usage="Usage: $0 [OPTION]... [-T] SRCFILE DSTFILE
     82dst_arg=
     83
     84copy_on_change=false
     85is_target_a_directory=possibly
     86
     87usage="\
     88Usage: $0 [OPTION]... [-T] SRCFILE DSTFILE
    7489   or: $0 [OPTION]... SRCFILES... DIRECTORY
    7590   or: $0 [OPTION]... -t DIRECTORY SRCFILES...
     
    8196
    8297Options:
    83 -c         (ignored)
    84 -d         create directories instead of installing files.
    85 -g GROUP   $chgrpprog installed files to GROUP.
    86 -m MODE    $chmodprog installed files to MODE.
    87 -o USER    $chownprog installed files to USER.
    88 -s         $stripprog installed files.
    89 -t DIRECTORY  install into DIRECTORY.
    90 -T         report an error if DSTFILE is a directory.
    91 --help     display this help and exit.
    92 --version  display version info and exit.
     98     --help     display this help and exit.
     99     --version  display version info and exit.
     100
     101  -c            (ignored)
     102  -C            install only if different (preserve the last data modification time)
     103  -d            create directories instead of installing files.
     104  -g GROUP      $chgrpprog installed files to GROUP.
     105  -m MODE       $chmodprog installed files to MODE.
     106  -o USER       $chownprog installed files to USER.
     107  -s            $stripprog installed files.
     108  -t DIRECTORY  install into DIRECTORY.
     109  -T            report an error if DSTFILE is a directory.
    93110
    94111Environment variables override the default commands:
    95   CHGRPPROG CHMODPROG CHOWNPROG CPPROG MKDIRPROG MVPROG RMPROG STRIPPROG
     112  CHGRPPROG CHMODPROG CHOWNPROG CMPPROG CPPROG MKDIRPROG MVPROG
     113  RMPROG STRIPPROG
    96114"
    97115
    98 while test -n "$1"; do
     116while test $# -ne 0; do
    99117  case $1 in
    100     -c) shift
    101         continue;;
    102 
    103     -d) dir_arg=true
    104         shift
    105         continue;;
     118    -c) ;;
     119
     120    -C) copy_on_change=true;;
     121
     122    -d) dir_arg=true;;
    106123
    107124    -g) chgrpcmd="$chgrpprog $2"
    108         shift
    109         shift
    110         continue;;
     125        shift;;
    111126
    112127    --help) echo "$usage"; exit $?;;
    113128
    114     -m) chmodcmd="$chmodprog $2"
    115         shift
    116         shift
    117         continue;;
     129    -m) mode=$2
     130        case $mode in
     131          *' '* | *"$tab"* | *"$nl"* | *'*'* | *'?'* | *'['*)
     132            echo "$0: invalid mode: $mode" >&2
     133            exit 1;;
     134        esac
     135        shift;;
    118136
    119137    -o) chowncmd="$chownprog $2"
    120         shift
    121         shift
    122         continue;;
    123 
    124     -s) stripcmd=$stripprog
    125         shift
    126         continue;;
    127 
    128     -t) dstarg=$2
    129         shift
    130         shift
    131         continue;;
    132 
    133     -T) no_target_directory=true
    134         shift
    135         continue;;
     138        shift;;
     139
     140    -s) stripcmd=$stripprog;;
     141
     142    -t)
     143        is_target_a_directory=always
     144        dst_arg=$2
     145        # Protect names problematic for 'test' and other utilities.
     146        case $dst_arg in
     147          -* | [=\(\)!]) dst_arg=./$dst_arg;;
     148        esac
     149        shift;;
     150
     151    -T) is_target_a_directory=never;;
    136152
    137153    --version) echo "$0 $scriptversion"; exit $?;;
    138154
    139     *)  # When -d is used, all remaining arguments are directories to create.
    140         # When -t is used, the destination is already specified.
    141         test -n "$dir_arg$dstarg" && break
    142         # Otherwise, the last argument is the destination.  Remove it from $@.
    143         for arg
    144         do
    145           if test -n "$dstarg"; then
    146             # $@ is not empty: it contains at least $arg.
    147             set fnord "$@" "$dstarg"
    148             shift # fnord
    149           fi
    150           shift # arg
    151           dstarg=$arg
    152         done
    153         break;;
     155    --) shift
     156        break;;
     157
     158    -*) echo "$0: invalid option: $1" >&2
     159        exit 1;;
     160
     161    *)  break;;
    154162  esac
     163  shift
    155164done
    156165
    157 if test -z "$1"; then
     166# We allow the use of options -d and -T together, by making -d
     167# take the precedence; this is for compatibility with GNU install.
     168
     169if test -n "$dir_arg"; then
     170  if test -n "$dst_arg"; then
     171    echo "$0: target directory not allowed when installing a directory." >&2
     172    exit 1
     173  fi
     174fi
     175
     176if test $# -ne 0 && test -z "$dir_arg$dst_arg"; then
     177  # When -d is used, all remaining arguments are directories to create.
     178  # When -t is used, the destination is already specified.
     179  # Otherwise, the last argument is the destination.  Remove it from $@.
     180  for arg
     181  do
     182    if test -n "$dst_arg"; then
     183      # $@ is not empty: it contains at least $arg.
     184      set fnord "$@" "$dst_arg"
     185      shift # fnord
     186    fi
     187    shift # arg
     188    dst_arg=$arg
     189    # Protect names problematic for 'test' and other utilities.
     190    case $dst_arg in
     191      -* | [=\(\)!]) dst_arg=./$dst_arg;;
     192    esac
     193  done
     194fi
     195
     196if test $# -eq 0; then
    158197  if test -z "$dir_arg"; then
    159198    echo "$0: no input file specified." >&2
    160199    exit 1
    161200  fi
    162   # It's OK to call `install-sh -d' without argument.
     201  # It's OK to call 'install-sh -d' without argument.
    163202  # This can happen when creating conditional directories.
    164203  exit 0
    165204fi
    166205
     206if test -z "$dir_arg"; then
     207  if test $# -gt 1 || test "$is_target_a_directory" = always; then
     208    if test ! -d "$dst_arg"; then
     209      echo "$0: $dst_arg: Is not a directory." >&2
     210      exit 1
     211    fi
     212  fi
     213fi
     214
     215if test -z "$dir_arg"; then
     216  do_exit='(exit $ret); exit $ret'
     217  trap "ret=129; $do_exit" 1
     218  trap "ret=130; $do_exit" 2
     219  trap "ret=141; $do_exit" 13
     220  trap "ret=143; $do_exit" 15
     221
     222  # Set umask so as not to create temps with too-generous modes.
     223  # However, 'strip' requires both read and write access to temps.
     224  case $mode in
     225    # Optimize common cases.
     226    *644) cp_umask=133;;
     227    *755) cp_umask=22;;
     228
     229    *[0-7])
     230      if test -z "$stripcmd"; then
     231        u_plus_rw=
     232      else
     233        u_plus_rw='% 200'
     234      fi
     235      cp_umask=`expr '(' 777 - $mode % 1000 ')' $u_plus_rw`;;
     236    *)
     237      if test -z "$stripcmd"; then
     238        u_plus_rw=
     239      else
     240        u_plus_rw=,u+rw
     241      fi
     242      cp_umask=$mode$u_plus_rw;;
     243  esac
     244fi
     245
    167246for src
    168247do
    169   # Protect names starting with `-'.
     248  # Protect names problematic for 'test' and other utilities.
    170249  case $src in
    171     -*) src=./$src ;;
     250    -* | [=\(\)!]) src=./$src;;
    172251  esac
    173252
    174253  if test -n "$dir_arg"; then
    175254    dst=$src
    176     src=
    177 
    178     if test -d "$dst"; then
    179       mkdircmd=:
    180       chmodcmd=
    181     else
    182       mkdircmd=$mkdirprog
    183     fi
     255    dstdir=$dst
     256    test -d "$dstdir"
     257    dstdir_status=$?
    184258  else
     259
    185260    # Waiting for this to be detected by the "$cpprog $src $dsttmp" command
    186261    # might cause directories to be created, which would be especially bad
     
    191266    fi
    192267
    193     if test -z "$dstarg"; then
     268    if test -z "$dst_arg"; then
    194269      echo "$0: no destination specified." >&2
    195270      exit 1
    196271    fi
    197 
    198     dst=$dstarg
    199     # Protect names starting with `-'.
    200     case $dst in
    201       -*) dst=./$dst ;;
    202     esac
    203 
    204     # If destination is a directory, append the input filename; won't work
    205     # if double slashes aren't ignored.
     272    dst=$dst_arg
     273
     274    # If destination is a directory, append the input filename.
    206275    if test -d "$dst"; then
    207       if test -n "$no_target_directory"; then
    208         echo "$0: $dstarg: Is a directory" >&2
    209         exit 1
     276      if test "$is_target_a_directory" = never; then
     277        echo "$0: $dst_arg: Is a directory" >&2
     278        exit 1
    210279      fi
    211       dst=$dst/`basename "$src"`
     280      dstdir=$dst
     281      dstbase=`basename "$src"`
     282      case $dst in
     283        */) dst=$dst$dstbase;;
     284        *)  dst=$dst/$dstbase;;
     285      esac
     286      dstdir_status=0
     287    else
     288      dstdir=`dirname "$dst"`
     289      test -d "$dstdir"
     290      dstdir_status=$?
    212291    fi
    213292  fi
    214293
    215   # This sed command emulates the dirname command.
    216   dstdir=`echo "$dst" | sed -e 's,/*$,,;s,[^/]*$,,;s,/*$,,;s,^$,.,'`
    217 
    218   # Make sure that the destination directory exists.
    219 
    220   # Skip lots of stat calls in the usual case.
    221   if test ! -d "$dstdir"; then
    222     defaultIFS='
    223          '
    224     IFS="${IFS-$defaultIFS}"
    225 
    226     oIFS=$IFS
    227     # Some sh's can't handle IFS=/ for some reason.
    228     IFS='%'
    229     set x `echo "$dstdir" | sed -e 's@/@%@g' -e 's@^%@/@'`
    230     shift
    231     IFS=$oIFS
    232 
    233     pathcomp=
    234 
    235     while test $# -ne 0 ; do
    236       pathcomp=$pathcomp$1
     294  case $dstdir in
     295    */) dstdirslash=$dstdir;;
     296    *)  dstdirslash=$dstdir/;;
     297  esac
     298
     299  obsolete_mkdir_used=false
     300
     301  if test $dstdir_status != 0; then
     302    case $posix_mkdir in
     303      '')
     304        # Create intermediate dirs using mode 755 as modified by the umask.
     305        # This is like FreeBSD 'install' as of 1997-10-28.
     306        umask=`umask`
     307        case $stripcmd.$umask in
     308          # Optimize common cases.
     309          *[2367][2367]) mkdir_umask=$umask;;
     310          .*0[02][02] | .[02][02] | .[02]) mkdir_umask=22;;
     311
     312          *[0-7])
     313            mkdir_umask=`expr $umask + 22 \
     314              - $umask % 100 % 40 + $umask % 20 \
     315              - $umask % 10 % 4 + $umask % 2
     316            `;;
     317          *) mkdir_umask=$umask,go-w;;
     318        esac
     319
     320        # With -d, create the new directory with the user-specified mode.
     321        # Otherwise, rely on $mkdir_umask.
     322        if test -n "$dir_arg"; then
     323          mkdir_mode=-m$mode
     324        else
     325          mkdir_mode=
     326        fi
     327
     328        posix_mkdir=false
     329        case $umask in
     330          *[123567][0-7][0-7])
     331            # POSIX mkdir -p sets u+wx bits regardless of umask, which
     332            # is incompatible with FreeBSD 'install' when (umask & 300) != 0.
     333            ;;
     334          *)
     335            # Note that $RANDOM variable is not portable (e.g. dash);  Use it
     336            # here however when possible just to lower collision chance.
     337            tmpdir=${TMPDIR-/tmp}/ins$RANDOM-$$
     338
     339            trap 'ret=$?; rmdir "$tmpdir/a/b" "$tmpdir/a" "$tmpdir" 2>/dev/null; exit $ret' 0
     340
     341            # Because "mkdir -p" follows existing symlinks and we likely work
     342            # directly in world-writeable /tmp, make sure that the '$tmpdir'
     343            # directory is successfully created first before we actually test
     344            # 'mkdir -p' feature.
     345            if (umask $mkdir_umask &&
     346                $mkdirprog $mkdir_mode "$tmpdir" &&
     347                exec $mkdirprog $mkdir_mode -p -- "$tmpdir/a/b") >/dev/null 2>&1
     348            then
     349              if test -z "$dir_arg" || {
     350                   # Check for POSIX incompatibilities with -m.
     351                   # HP-UX 11.23 and IRIX 6.5 mkdir -m -p sets group- or
     352                   # other-writable bit of parent directory when it shouldn't.
     353                   # FreeBSD 6.1 mkdir -m -p sets mode of existing directory.
     354                   test_tmpdir="$tmpdir/a"
     355                   ls_ld_tmpdir=`ls -ld "$test_tmpdir"`
     356                   case $ls_ld_tmpdir in
     357                     d????-?r-*) different_mode=700;;
     358                     d????-?--*) different_mode=755;;
     359                     *) false;;
     360                   esac &&
     361                   $mkdirprog -m$different_mode -p -- "$test_tmpdir" && {
     362                     ls_ld_tmpdir_1=`ls -ld "$test_tmpdir"`
     363                     test "$ls_ld_tmpdir" = "$ls_ld_tmpdir_1"
     364                   }
     365                 }
     366              then posix_mkdir=:
     367              fi
     368              rmdir "$tmpdir/a/b" "$tmpdir/a" "$tmpdir"
     369            else
     370              # Remove any dirs left behind by ancient mkdir implementations.
     371              rmdir ./$mkdir_mode ./-p ./-- "$tmpdir" 2>/dev/null
     372            fi
     373            trap '' 0;;
     374        esac;;
     375    esac
     376
     377    if
     378      $posix_mkdir && (
     379        umask $mkdir_umask &&
     380        $doit_exec $mkdirprog $mkdir_mode -p -- "$dstdir"
     381      )
     382    then :
     383    else
     384
     385      # The umask is ridiculous, or mkdir does not conform to POSIX,
     386      # or it failed possibly due to a race condition.  Create the
     387      # directory the slow way, step by step, checking for races as we go.
     388
     389      case $dstdir in
     390        /*) prefix='/';;
     391        [-=\(\)!]*) prefix='./';;
     392        *)  prefix='';;
     393      esac
     394
     395      oIFS=$IFS
     396      IFS=/
     397      set -f
     398      set fnord $dstdir
    237399      shift
    238       if test ! -d "$pathcomp"; then
    239         $mkdirprog "$pathcomp"
    240         # mkdir can fail with a `File exist' error in case several
    241         # install-sh are creating the directory concurrently.  This
    242         # is OK.
    243         test -d "$pathcomp" || exit
     400      set +f
     401      IFS=$oIFS
     402
     403      prefixes=
     404
     405      for d
     406      do
     407        test X"$d" = X && continue
     408
     409        prefix=$prefix$d
     410        if test -d "$prefix"; then
     411          prefixes=
     412        else
     413          if $posix_mkdir; then
     414            (umask=$mkdir_umask &&
     415             $doit_exec $mkdirprog $mkdir_mode -p -- "$dstdir") && break
     416            # Don't fail if two instances are running concurrently.
     417            test -d "$prefix" || exit 1
     418          else
     419            case $prefix in
     420              *\'*) qprefix=`echo "$prefix" | sed "s/'/'\\\\\\\\''/g"`;;
     421              *) qprefix=$prefix;;
     422            esac
     423            prefixes="$prefixes '$qprefix'"
     424          fi
     425        fi
     426        prefix=$prefix/
     427      done
     428
     429      if test -n "$prefixes"; then
     430        # Don't fail if two instances are running concurrently.
     431        (umask $mkdir_umask &&
     432         eval "\$doit_exec \$mkdirprog $prefixes") ||
     433          test -d "$dstdir" || exit 1
     434        obsolete_mkdir_used=true
    244435      fi
    245       pathcomp=$pathcomp/
    246     done
     436    fi
    247437  fi
    248438
    249439  if test -n "$dir_arg"; then
    250     $doit $mkdircmd "$dst" \
    251       && { test -z "$chowncmd" || $doit $chowncmd "$dst"; } \
    252       && { test -z "$chgrpcmd" || $doit $chgrpcmd "$dst"; } \
    253       && { test -z "$stripcmd" || $doit $stripcmd "$dst"; } \
    254       && { test -z "$chmodcmd" || $doit $chmodcmd "$dst"; }
    255 
     440    { test -z "$chowncmd" || $doit $chowncmd "$dst"; } &&
     441    { test -z "$chgrpcmd" || $doit $chgrpcmd "$dst"; } &&
     442    { test "$obsolete_mkdir_used$chowncmd$chgrpcmd" = false ||
     443      test -z "$chmodcmd" || $doit $chmodcmd $mode "$dst"; } || exit 1
    256444  else
    257     dstfile=`basename "$dst"`
    258445
    259446    # Make a couple of temp file names in the proper directory.
    260     dsttmp=$dstdir/_inst.$$_
    261     rmtmp=$dstdir/_rm.$$_
     447    dsttmp=${dstdirslash}_inst.$$_
     448    rmtmp=${dstdirslash}_rm.$$_
    262449
    263450    # Trap to clean up those temp files at exit.
    264451    trap 'ret=$?; rm -f "$dsttmp" "$rmtmp" && exit $ret' 0
    265     trap '(exit $?); exit' 1 2 13 15
    266452
    267453    # Copy the file name to the temp name.
    268     $doit $cpprog "$src" "$dsttmp" &&
     454    (umask $cp_umask && $doit_exec $cpprog "$src" "$dsttmp") &&
    269455
    270456    # and set any options; do chmod last to preserve setuid bits.
     
    274460    # errors from the above "$doit $cpprog $src $dsttmp" command.
    275461    #
    276     { test -z "$chowncmd" || $doit $chowncmd "$dsttmp"; } \
    277       && { test -z "$chgrpcmd" || $doit $chgrpcmd "$dsttmp"; } \
    278       && { test -z "$stripcmd" || $doit $stripcmd "$dsttmp"; } \
    279       && { test -z "$chmodcmd" || $doit $chmodcmd "$dsttmp"; } &&
    280 
    281     # Now rename the file to the real destination.
    282     { $doit $mvcmd -f "$dsttmp" "$dstdir/$dstfile" 2>/dev/null \
    283       || {
    284            # The rename failed, perhaps because mv can't rename something else
    285            # to itself, or perhaps because mv is so ancient that it does not
    286            # support -f.
    287 
    288            # Now remove or move aside any old file at destination location.
    289            # We try this two ways since rm can't unlink itself on some
    290            # systems and the destination file might be busy for other
    291            # reasons.  In this case, the final cleanup might fail but the new
    292            # file should still install successfully.
    293            {
    294              if test -f "$dstdir/$dstfile"; then
    295                $doit $rmcmd -f "$dstdir/$dstfile" 2>/dev/null \
    296                || $doit $mvcmd -f "$dstdir/$dstfile" "$rmtmp" 2>/dev/null \
    297                || {
    298                  echo "$0: cannot unlink or rename $dstdir/$dstfile" >&2
    299                  (exit 1); exit 1
    300                }
    301              else
    302                :
    303              fi
    304            } &&
    305 
    306            # Now rename the file to the real destination.
    307            $doit $mvcmd "$dsttmp" "$dstdir/$dstfile"
    308          }
    309     }
    310   fi || { (exit 1); exit 1; }
     462    { test -z "$chowncmd" || $doit $chowncmd "$dsttmp"; } &&
     463    { test -z "$chgrpcmd" || $doit $chgrpcmd "$dsttmp"; } &&
     464    { test -z "$stripcmd" || $doit $stripcmd "$dsttmp"; } &&
     465    { test -z "$chmodcmd" || $doit $chmodcmd $mode "$dsttmp"; } &&
     466
     467    # If -C, don't bother to copy if it wouldn't change the file.
     468    if $copy_on_change &&
     469       old=`LC_ALL=C ls -dlL "$dst"     2>/dev/null` &&
     470       new=`LC_ALL=C ls -dlL "$dsttmp"  2>/dev/null` &&
     471       set -f &&
     472       set X $old && old=:$2:$4:$5:$6 &&
     473       set X $new && new=:$2:$4:$5:$6 &&
     474       set +f &&
     475       test "$old" = "$new" &&
     476       $cmpprog "$dst" "$dsttmp" >/dev/null 2>&1
     477    then
     478      rm -f "$dsttmp"
     479    else
     480      # Rename the file to the real destination.
     481      $doit $mvcmd -f "$dsttmp" "$dst" 2>/dev/null ||
     482
     483      # The rename failed, perhaps because mv can't rename something else
     484      # to itself, or perhaps because mv is so ancient that it does not
     485      # support -f.
     486      {
     487        # Now remove or move aside any old file at destination location.
     488        # We try this two ways since rm can't unlink itself on some
     489        # systems and the destination file might be busy for other
     490        # reasons.  In this case, the final cleanup might fail but the new
     491        # file should still install successfully.
     492        {
     493          test ! -f "$dst" ||
     494          $doit $rmcmd -f "$dst" 2>/dev/null ||
     495          { $doit $mvcmd -f "$dst" "$rmtmp" 2>/dev/null &&
     496            { $doit $rmcmd -f "$rmtmp" 2>/dev/null; :; }
     497          } ||
     498          { echo "$0: cannot unlink or rename $dst" >&2
     499            (exit 1); exit 1
     500          }
     501        } &&
     502
     503        # Now rename the file to the real destination.
     504        $doit $mvcmd "$dsttmp" "$dst"
     505      }
     506    fi || exit 1
     507
     508    trap '' 0
     509  fi
    311510done
    312511
    313 # The final little trick to "correctly" pass the exit status to the exit trap.
    314 {
    315   (exit 0); exit 0
    316 }
    317 
    318512# Local variables:
    319 # eval: (add-hook 'write-file-hooks 'time-stamp)
     513# eval: (add-hook 'before-save-hook 'time-stamp)
    320514# time-stamp-start: "scriptversion="
    321515# time-stamp-format: "%:y-%02m-%02d.%02H"
    322 # time-stamp-end: "$"
     516# time-stamp-time-zone: "UTC0"
     517# time-stamp-end: "; # UTC"
    323518# End:
Note: See TracChangeset for help on using the changeset viewer.