configure: fix indentation from previous patch

diff --git a/configure b/configure
index c100c29172a784a50682cf164c6bddb7d4f93d58..dd6911c11542627fc95d48daa1e85cec7db7d69f 100755 (executable)
--- a/configure
+++ b/configure
@@ -244,10 +244,10 @@ case $SYSTEM in
     ;;
     Linux* )
         EXTRA_OBJECTS="sys_linux.o wrap_adjtimex.o"
-       if [ $feat_rtc -eq 1 ] ; then
-           EXTRA_OBJECTS+=" rtc_linux.o"
-           EXTRA_DEFS+=" -DFEAT_RTC=1"
-       fi
+        if [ $feat_rtc -eq 1 ] ; then
+            EXTRA_OBJECTS+=" rtc_linux.o"
+            EXTRA_DEFS+=" -DFEAT_RTC=1"
+        fi
         SYSDEFS="-DLINUX"
         echo "Configuring for " $SYSTEM
         if [ "${MACHINE}" = "alpha" ]; then