diff options
Diffstat (limited to 'src/etc')
| -rw-r--r-- | src/etc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/etc/Makefile.in b/src/etc/Makefile.in index 638c7185..b642bda1 100644 --- a/src/etc/Makefile.in +++ b/src/etc/Makefile.in @@ -51,7 +51,7 @@ build_libdir = $(top_builddir)/src/lib libspad_la = -L$(build_libdir) -lspad -openaxiom_c_libs = -lopen-axiom-core @axiom_c_runtime_extra@ -lm +openaxiom_c_libs = -lopen-axiom-core @oa_c_runtime_extra@ -lm .PHONY: all all-asq |