diff options
Diffstat (limited to 'src/rt/Makefile.in')
-rw-r--r-- | src/rt/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/Makefile.in b/src/rt/Makefile.in index 9b7fc403..b5b6e154 100644 --- a/src/rt/Makefile.in +++ b/src/rt/Makefile.in @@ -352,6 +352,7 @@ oa_enable_checking = @oa_enable_checking@ oa_enable_profiling = @oa_enable_profiling@ oa_enable_threads = @oa_enable_threads@ oa_eval_flags = @oa_eval_flags@ +oa_extra_cxxflags = @oa_extra_cxxflags@ oa_host_has_regex = @oa_host_has_regex@ oa_keep_files = @oa_keep_files@ oa_lisp_flavor = @oa_lisp_flavor@ |