diff options
-rw-r--r-- | configure.in | 1 |
1 files changed, 0 insertions, 1 deletions
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 ]) |