From 0922061553d6990ddabddcc02396cc08f912e233 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Wed, 12 Jun 2013 06:17:38 -0400 Subject: [PATCH] Auto-commit of generated files. --- autogen/configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autogen/configure b/autogen/configure index cc2fafb3803..5cad2fefd24 100755 --- a/autogen/configure +++ b/autogen/configure @@ -4355,7 +4355,7 @@ this option's value should be \`yes', \`no', \`gfile', \`inotify' or \`w32'. with_file_notification=$val else - with_file_notification=yes + with_file_notification=$with_features fi -- 2.39.2