1 files changed, 6 insertions, 0 deletions
diff --git a/build.sh b/build.sh
index f1a392f61f..95b32ba429 100755
--- a/build.sh
+++ b/build.sh
@@ -173,6 +173,12 @@ build()
   fi
 }
 
+  if "$AUTOBUILD" build -c Doxygen
+  then
+    echo true >"$build_dir"/build_ok
+  else
+    echo false >"$build_dir"/build_ok
+  fi
 # Check to see if we were invoked from the wrapper, if not, re-exec ourselves from there
 if [ "x$arch" = x ]
 then