1 files changed, 1 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh
index 6e89c842..19cca0e3 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -70,7 +70,7 @@ require_ocaml_pkg()
 
 # If no arguments were specified and configure has run before, use the previous
 # arguments
-if [ $# == 0 -a -x ./config.status ]; then
+if test $# == 0 && test -x ./config.status; then
     ./config.status --recheck
 else
     $CONFIGUREDIR/configure "$@"