diff options
author | Chris Luke <chrisy@flirble.org> | 2016-09-09 20:16:04 -0400 |
---|---|---|
committer | Chris Luke <chrisy@flirble.org> | 2016-09-09 20:16:04 -0400 |
commit | 35425140386cfd092e547e511ad2d3cbe804a459 (patch) | |
tree | ced5c5ba7166e87873744652bd89e77a5ce859e7 /doxygen/Makefile | |
parent | c87fa6dede65ab180d8f5cc396d9039882d0baad (diff) |
Check for zero-sized Graphvix config file on Ubuntu; VPP-396
- The previous change only accounted for a missing Graphviz config
file; apparently it can be zero-sized too.
Change-Id: Ic6957d10cdc7cb7b9da72d2b2a0f8913100870c5
Signed-off-by: Chris Luke <chrisy@flirble.org>
Diffstat (limited to 'doxygen/Makefile')
-rw-r--r-- | doxygen/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doxygen/Makefile b/doxygen/Makefile index ef52c493020..954191eb75c 100644 --- a/doxygen/Makefile +++ b/doxygen/Makefile @@ -113,7 +113,8 @@ ifeq ($(OS_ID),ubuntu) dpkg-query --show $$i >/dev/null 2>&1 || inst="$$inst $$i"; \ done; \ if [ "$$inst" ]; then sudo apt-get $(CONFIRM) $(FORCE) install $$inst; fi - @if [ ! -f /usr/lib/graphviz/config6a ]; then \ + @if [ ! -s /usr/lib/graphviz/config6a ]; then \ + echo "Rebuidlding system Graphviz configuration."; \ sudo dot -c; \ fi else ifneq ("$(wildcard /etc/redhat-release)","") |