empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix the previous revision.

Browse source
This commit is contained in:
Markus Armbruster 2006-06-18 20:31:41 +00:00
parent 4cea32767d
commit 3d0f7dd383
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
Make.mk
View file

@ -179,14 +179,14 @@ install: all installdirs
if src/util/pconfig $(econfig) >$(econfig).new; then \ if src/util/pconfig $(econfig) >$(econfig).new; then \
if cmp -s $(econfig) $(econfig).new; then \ if cmp -s $(econfig) $(econfig).new; then \
rm $(econfig).new; \ rm $(econfig).new; \
fi \ fi; \
else \ else \
echo "Your $(econfig) doesn't work"; \ echo "Your $(econfig) doesn't work"; \
src/util/pconfig >$(econfig).new \ src/util/pconfig >$(econfig).new; \
fi \ fi; \
if [ -e $(econfig); then \ if [ -e $(econfig) ]; then \
echo "Check out $(econfig).new"; \ echo "Check out $(econfig).new"; \
fi \ fi; \
else \ else \
src/util/pconfig >$(econfig); \ src/util/pconfig >$(econfig); \
fi fi