Mercurial > emacs
annotate install-sh @ 111997:a5a188ddc758
Minor clean up to silence some gcc warnings.
* src/window.c (Fset_window_buffer):
* src/xterm.c (x_set_frame_alpha): Restructure code to silence
compiler warning.
(handle_one_xevent): Remove unused var `p'.
(do_ewmh_fullscreen): Remove unused var `lval'.
(xembed_set_info): Remove unused var `atom'.
* src/textprop.c (Fremove_list_of_text_properties): Add braces to silence
compiler warning.
* src/fontset.c (fontset_id_valid_p, dump_fontset):
* src/ftfont.c (ftfont_drive_otf): Modernize k&r declaration.
* src/eval.c (Feval, Ffuncall): Avoid unneeded gotos.
* src/dispnew.c (update_frame, update_frame_1): Compile the `do_pause'
label only when it's used.
* src/image.c (x_create_bitmap_from_xpm_data):
* src/dispextern.h (x_create_bitmap_from_xpm_data): Use const char** like
its callers.
* src/coding.c (detect_coding_utf_16): Remove unused vars `src_base' and
`consumed_chars'.
(DECODE_EMACS_MULE_21_COMPOSITION): Remove unused var `charbuf_base'.
(decode_coding_emacs_mule): Remove unused label `retry'.
(detect_eol): Add parens to silence compiler warning.
* src/alloc.c (bytes_used_when_reconsidered): Move to the #ifdef where
it's used to silence the compiler.
(make_number): Modernize k&r declaration.
(mark_char_table): Add parens to silence compiler warning.
author | Stefan Monnier <monnier@iro.umontreal.ca> |
---|---|
date | Sun, 19 Dec 2010 00:43:42 -0500 |
parents | ced73eea562f |
children | 14a97ab281d5 |
rev | line source |
---|---|
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
1 #! /bin/sh |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
2 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
3 # install - install a program, script, or datafile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
4 # This comes from X11R5 (mit/util/scripts/install.sh). |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
5 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
6 # Copyright 1991 by the Massachusetts Institute of Technology |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
7 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
8 # Permission to use, copy, modify, distribute, and sell this software and its |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
9 # documentation for any purpose is hereby granted without fee, provided that |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
10 # the above copyright notice appear in all copies and that both that |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
11 # copyright notice and this permission notice appear in supporting |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
12 # documentation, and that the name of M.I.T. not be used in advertising or |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
13 # publicity pertaining to distribution of the software without specific, |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
14 # written prior permission. M.I.T. makes no representations about the |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
15 # suitability of this software for any purpose. It is provided "as is" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
16 # without express or implied warranty. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
17 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
18 # Calling this script install-sh is preferred over install.sh, to prevent |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
19 # `make' implicit rules from creating a file called install from it |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
20 # when there is no Makefile. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
21 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
22 # This script is compatible with the BSD install script, but was written |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
23 # from scratch. It can only install one file at a time, a restriction |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
24 # shared with many OS's install programs. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
25 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
26 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
27 # set DOITPROG to echo to test this script |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
28 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
29 # Don't use :- since 4.3BSD and earlier shells don't like it. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
30 doit="${DOITPROG-}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
31 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
32 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
33 # put in absolute paths if you don't have them in your path; or use env. vars. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
34 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
35 mvprog="${MVPROG-mv}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
36 cpprog="${CPPROG-cp}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
37 chmodprog="${CHMODPROG-chmod}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
38 chownprog="${CHOWNPROG-chown}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
39 chgrpprog="${CHGRPPROG-chgrp}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
40 stripprog="${STRIPPROG-strip}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
41 rmprog="${RMPROG-rm}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
42 mkdirprog="${MKDIRPROG-mkdir}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
43 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
44 transformbasename="" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
45 transform_arg="" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
46 instcmd="$mvprog" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
47 chmodcmd="$chmodprog 0755" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
48 chowncmd="" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
49 chgrpcmd="" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
50 stripcmd="" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
51 rmcmd="$rmprog -f" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
52 mvcmd="$mvprog" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
53 src="" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
54 dst="" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
55 dir_arg="" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
56 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
57 while [ x"$1" != x ]; do |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
58 case $1 in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
59 -c) instcmd="$cpprog" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
60 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
61 continue;; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
62 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
63 -d) dir_arg=true |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
64 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
65 continue;; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
66 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
67 -m) chmodcmd="$chmodprog $2" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
68 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
69 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
70 continue;; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
71 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
72 -o) chowncmd="$chownprog $2" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
73 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
74 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
75 continue;; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
76 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
77 -g) chgrpcmd="$chgrpprog $2" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
78 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
79 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
80 continue;; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
81 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
82 -s) stripcmd="$stripprog" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
83 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
84 continue;; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
85 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
86 -t=*) transformarg=`echo $1 | sed 's/-t=//'` |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
87 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
88 continue;; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
89 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
90 -b=*) transformbasename=`echo $1 | sed 's/-b=//'` |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
91 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
92 continue;; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
93 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
94 *) if [ x"$src" = x ] |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
95 then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
96 src=$1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
97 else |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
98 # this colon is to work around a 386BSD /bin/sh bug |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
99 : |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
100 dst=$1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
101 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
102 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
103 continue;; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
104 esac |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
105 done |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
106 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
107 if [ x"$src" = x ] |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
108 then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
109 echo "install: no input file specified" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
110 exit 1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
111 else |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
112 true |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
113 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
114 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
115 if [ x"$dir_arg" != x ]; then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
116 dst=$src |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
117 src="" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
118 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
119 if [ -d $dst ]; then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
120 instcmd=: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
121 else |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
122 instcmd=mkdir |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
123 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
124 else |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
125 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
126 # Waiting for this to be detected by the "$instcmd $src $dsttmp" command |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
127 # might cause directories to be created, which would be especially bad |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
128 # if $src (and thus $dsttmp) contains '*'. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
129 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
130 if [ -f $src -o -d $src ] |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
131 then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
132 true |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
133 else |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
134 echo "install: $src does not exist" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
135 exit 1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
136 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
137 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
138 if [ x"$dst" = x ] |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
139 then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
140 echo "install: no destination specified" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
141 exit 1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
142 else |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
143 true |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
144 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
145 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
146 # If destination is a directory, append the input filename; if your system |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
147 # does not like double slashes in filenames, you may need to add some logic |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
148 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
149 if [ -d $dst ] |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
150 then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
151 dst="$dst"/`basename $src` |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
152 else |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
153 true |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
154 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
155 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
156 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
157 ## this sed command emulates the dirname command |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
158 dstdir=`echo $dst | sed -e 's,[^/]*$,,;s,/$,,;s,^$,.,'` |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
159 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
160 # Make sure that the destination directory exists. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
161 # this part is taken from Noah Friedman's mkinstalldirs script |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
162 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
163 # Skip lots of stat calls in the usual case. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
164 if [ ! -d "$dstdir" ]; then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
165 defaultIFS=' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
166 ' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
167 IFS="${IFS-${defaultIFS}}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
168 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
169 oIFS="${IFS}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
170 # Some sh's can't handle IFS=/ for some reason. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
171 IFS='%' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
172 set - `echo ${dstdir} | sed -e 's@/@%@g' -e 's@^%@/@'` |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
173 IFS="${oIFS}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
174 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
175 pathcomp='' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
176 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
177 while [ $# -ne 0 ] ; do |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
178 pathcomp="${pathcomp}${1}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
179 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
180 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
181 if [ ! -d "${pathcomp}" ] ; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
182 then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
183 $mkdirprog "${pathcomp}" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
184 else |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
185 true |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
186 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
187 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
188 pathcomp="${pathcomp}/" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
189 done |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
190 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
191 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
192 if [ x"$dir_arg" != x ] |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
193 then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
194 $doit $instcmd $dst && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
195 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
196 if [ x"$chowncmd" != x ]; then $doit $chowncmd $dst; else true ; fi && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
197 if [ x"$chgrpcmd" != x ]; then $doit $chgrpcmd $dst; else true ; fi && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
198 if [ x"$stripcmd" != x ]; then $doit $stripcmd $dst; else true ; fi && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
199 if [ x"$chmodcmd" != x ]; then $doit $chmodcmd $dst; else true ; fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
200 else |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
201 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
202 # If we're going to rename the final executable, determine the name now. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
203 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
204 if [ x"$transformarg" = x ] |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
205 then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
206 dstfile=`basename $dst` |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
207 else |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
208 dstfile=`basename $dst $transformbasename | |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
209 sed $transformarg`$transformbasename |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
210 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
211 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
212 # don't allow the sed command to completely eliminate the filename |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
213 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
214 if [ x"$dstfile" = x ] |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
215 then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
216 dstfile=`basename $dst` |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
217 else |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
218 true |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
219 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
220 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
221 # Make a temp file name in the proper directory. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
222 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
223 dsttmp=$dstdir/#inst.$$# |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
224 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
225 # Move or copy the file name to the temp name |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
226 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
227 $doit $instcmd $src $dsttmp && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
228 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
229 trap "rm -f ${dsttmp}" 0 && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
230 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
231 # and set any options; do chmod last to preserve setuid bits |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
232 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
233 # If any of these fail, we abort the whole thing. If we want to |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
234 # ignore errors from any of these, just make sure not to ignore |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
235 # errors from the above "$doit $instcmd $src $dsttmp" command. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
236 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
237 if [ x"$chowncmd" != x ]; then $doit $chowncmd $dsttmp; else true;fi && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
238 if [ x"$chgrpcmd" != x ]; then $doit $chgrpcmd $dsttmp; else true;fi && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
239 if [ x"$stripcmd" != x ]; then $doit $stripcmd $dsttmp; else true;fi && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
240 if [ x"$chmodcmd" != x ]; then $doit $chmodcmd $dsttmp; else true;fi && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
241 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
242 # Now rename the file to the real destination. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
243 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
244 $doit $rmcmd -f $dstdir/$dstfile && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
245 $doit $mvcmd $dsttmp $dstdir/$dstfile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
246 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
247 fi && |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
248 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
249 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
250 exit 0 |