diff options
Diffstat (limited to 'src/utils/Makefile.in')
| -rw-r--r-- | src/utils/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/utils/Makefile.in b/src/utils/Makefile.in index 7450de6c..95e438e6 100644 --- a/src/utils/Makefile.in +++ b/src/utils/Makefile.in @@ -373,6 +373,7 @@ oa_lisp_flavor = @oa_lisp_flavor@ oa_optimize_options = @oa_optimize_options@ oa_quiet_flags = @oa_quiet_flags@ oa_shrlib_flags = @oa_shrlib_flags@ +oa_shrlib_prefix = @oa_shrlib_prefix@ oa_shrobj_flags = @oa_shrobj_flags@ oa_src_algdir = @oa_src_algdir@ oa_src_datadir = @oa_src_datadir@ |