diff options
Diffstat (limited to 'configure1.in')
-rwxr-xr-x | configure1.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure1.in b/configure1.in index cabdd3f92a..19856c83e8 100755 --- a/configure1.in +++ b/configure1.in @@ -89,7 +89,7 @@ g:O:with_x:with_x10:\ config_h_opts=":\ have_x_windows:have_x11:have_x_menu:\ -c_switch_site:sigtype:gnu_malloc:rel_alloc:\ +c_switch_site:sigtype:gnu_malloc:rel_alloc:lisp_float_type:\ " prefix= |