Fix the previous revision.

diff --git a/Make.mk b/Make.mk
index 6660da5d62d5347714d23050026fa7f25e38101a..495a185663c06e75eaf8a41fefb24950289c05af 100644 (file)
--- a/Make.mk
+++ b/Make.mk
@@ -179,14 +179,14 @@ install: all installdirs
            if src/util/pconfig $(econfig) >$(econfig).new; then        \
                if cmp -s $(econfig) $(econfig).new; then               \
                    rm $(econfig).new;                                  \
-               fi                                                      \
+               fi;                                                     \
            else                                                        \
                echo "Your $(econfig) doesn't work";                    \
-               src/util/pconfig >$(econfig).new                        \
-           fi                                                          \
-           if [ -e $(econfig); then                                    \
+               src/util/pconfig >$(econfig).new;                       \
+           fi;                                                         \
+           if [ -e $(econfig) ]; then                                  \
                echo "Check out $(econfig).new";                        \
-           fi                                                          \
+           fi;                                                         \
        else                                                            \
            src/util/pconfig >$(econfig);                               \
        fi