aboutsummaryrefslogtreecommitdiff
path: root/src/utils
diff options
context:
space:
mode:
Diffstat (limited to 'src/utils')
-rw-r--r--src/utils/Makefile.in1
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@