2008-09-27 Zoltan Varga <vargaz@gmail.com>

[mono.git] / mono / docscripts / produce-lists

diff --git a/mono/docscripts/produce-lists b/mono/docscripts/produce-lists
index 39e763c6bfa96776513dc18e1c1322c6cb6b08ae..43770131acf541e615789cbbb2cfb781864cd336 100644 (file)
--- a/mono/docscripts/produce-lists
+++ b/mono/docscripts/produce-lists
@@ -26,5 +26,11 @@ ignore_wapi ()
        grep -v _wapi | fgrep -v -f $dir/wapi
 }
 
+if grep ^$ ignore >/dev/null; then
+    echo The ignore file contains empty lines, which breaks this script, please remove
+    echo the empty lines.
+    exit 1
+fi
+
 nm  $dir/../io-layer/.libs/*.o | clean_nm | grep -v _wapi | ignore_known > $dir/wapi
 nm  $dir/../*/.libs/*.o | clean_nm | ignore_known | ignore_wapi | grep -v ^ves_icall | grep -v ^mono_arch_ > $dir/public-api