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:20:09 -0400 |
| commit | 2cb4e68aae6bc10faf35631a21a581de3b3a4bb9 (patch) | |
| tree | 8d80a9cdb2fe732b8de1e975d1c0787ca75b43a9 | |
| parent | 331f1a8eac06f71adec995ba57c1cc5d0c84d883 (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>
| -rw-r--r-- | doxygen/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doxygen/Makefile b/doxygen/Makefile index 895bc651696..f62fa7661ab 100644 --- a/doxygen/Makefile +++ b/doxygen/Makefile @@ -87,7 +87,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)","") |