diff options
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 330bf5f9..4649d273 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -749,7 +749,7 @@ all-databases: all-interpsys all-doc all-hyper-post: all-algebra all-doc cd hyper && $(MAKE) $(AM_MAKEFLAGS) all-hyper-post -all-graph: all-lib +all-graph: all-lib all-utils cd graph && $(MAKE) $(AM_MAKEFLAGS) $@ .PHONY: all-check |