diff options
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index a2c79f76..330bf5f9 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -260,6 +260,7 @@ mandir = @mandir@ mkdir_p = @mkdir_p@ oa_c_runtime = @oa_c_runtime@ oa_c_runtime_extra = @oa_c_runtime_extra@ +oa_delay_ffi = @oa_delay_ffi@ oa_editor = @oa_editor@ oa_enable_checking = @oa_enable_checking@ oa_enable_profiling = @oa_enable_profiling@ |