pike.git/
src/
Makefile.in
Branch:
Tag:
Non-build tags
All tags
No tags
2000-03-26
2000-03-26 15:17:33 by Henrik Grubbström (Grubba) <grubba@grubba.org>
132b629e3055f4fce2fbfeb60c51fb1a32374ef1 (
5
lines) (+
3
/-
2
)
[
Show
|
Annotate
]
Branch:
7.9
Hmm, $(RM) isn't set...
Rev: src/Makefile.in:1.185
1:
#
-
# $Id: Makefile.in,v 1.
184
2000/03/26 15:
16
:
39
grubba Exp $
+
# $Id: Makefile.in,v 1.
185
2000/03/26 15:
17
:
33
grubba Exp $
# # This line is needed on some machines.
391:
if [ "x`ls -d share 2>/dev/null || :`" = "x" ]; then :; else \ if [ "x`ls -d share.old 2>/dev/null || :`" = "x" ]; then :; else \ echo "Deleting share.old"; \
-
$(RM)
share.old || exit 1; \
+
rm
-f
share.old || exit 1; \
fi; \ echo "Renaming share to share.old"; \ mv share share.old || exit 1; \