tests/empty.sh

   1 #!/bin/sh
   2
   3 if ! grep -q ^GtkDocTestIf$ empty/docs/tester-sections.txt; then
   4     echo "Test for bug https://bugzilla.gnome.org/show_bug.cgi?id=705633 has failed."
   5     exit 1
   6 fi
   7
   8 gtkdoctest.sh empty
   9