diff options
Diffstat (limited to 'src/sman')
| -rw-r--r-- | src/sman/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sman/Makefile.in b/src/sman/Makefile.in index 261f40ac..62a47657 100644 --- a/src/sman/Makefile.in +++ b/src/sman/Makefile.in @@ -81,7 +81,7 @@ stamp: $(OUTLIB)/session$(EXEEXT) \ .PRECIOUS: %.lo %.obj %.lo: %.c - $(CXXCOMPILE) ${CCF} -o $@ $(axiom_includes) -I$(srcdir) \ + $(CXXCOMPILE) ${CXXFLAGS} -o $@ $(axiom_includes) -I$(srcdir) \ -I$(top_srcdir)/src/driver $< ${OUTLIB}/session$(EXEEXT): $(session_objects) $(session_DEPENDENCIES) |