diff --git a/configure.in b/configure.in index 5a5044b66c..02f54ece34 100644 --- a/configure.in +++ b/configure.in @@ -448,5 +448,4 @@ wombat/Makefile art/Makefile default_user/Makefile tools/Makefile -directory/Makefile ])