diff graphics/glbinding/glbinding.sh @ 819:6633bc51db0e

graphics/graphviz: fix build
author David Demelier <markand@malikania.fr>
date Wed, 21 Aug 2019 20:40:00 +0200
parents 2e0fe4608012
children a133976e0783
line wrap: on
line diff
--- a/graphics/glbinding/glbinding.sh	Wed Aug 21 20:20:00 2019 +0200
+++ b/graphics/glbinding/glbinding.sh	Wed Aug 21 20:40:00 2019 +0200
@@ -28,7 +28,7 @@
 : ${CFLAGS:=-O2}
 : ${CXX:=clang++}
 : ${CXXFLAGS:=-O2}
-: ${DOXYGEN:=no}
+: ${DOXYGEN:=yes}
 : ${EXAMPLES:=yes}
 : ${TOOLS:=yes}