diff --git a/src/run_autoconfig b/src/run_autoconfig index c3986f7851fee2ee18d6771fdb67604ea72373a2..6ffb01bec48b3885bf7c47a09b63499fbaa371e6 100755 --- a/src/run_autoconfig +++ b/src/run_autoconfig @@ -10,7 +10,7 @@ fix() if [ ! -f $1/Makefile.in ]; then cp $1/Makefile.src $1/Makefile.in - else if cmp $1/Makefile.src $1/Makefile.in >/dev/null; then + elif cmp $1/Makefile.src $1/Makefile.in >/dev/null; then : else # This might not be strictly necessary, but you