diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-06-12 06:17:38 -0400 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-06-12 06:17:38 -0400 |
| commit | 0922061553d6990ddabddcc02396cc08f912e233 (patch) | |
| tree | 0a70d12fab4eea7cd29f786ae8b22541dd7f2000 /autogen/configure | |
| parent | 84d6f46535554f9f51aae3314313112e8d755c65 (diff) | |
| download | emacs-0922061553d6990ddabddcc02396cc08f912e233.tar.gz emacs-0922061553d6990ddabddcc02396cc08f912e233.tar.bz2 emacs-0922061553d6990ddabddcc02396cc08f912e233.zip | |
Auto-commit of generated files.
Diffstat (limited to 'autogen/configure')
| -rwxr-xr-x | autogen/configure | 2 |
1 files changed, 1 insertions, 1 deletions
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 |