# HG changeset patch
# User Michael Spacefalcon <msokolov@ivan.Harhan.ORG>
# Date 1404438303 0
# Node ID 466b3926019c86bbddda8c8a90e036e57fb54bd7
# Parent  ed1a06bf525d66a21e47e054094e075e2e060495
objgrep: weed out empty source sections

diff -r ed1a06bf525d -r 466b3926019c objgrep/main.c
--- a/objgrep/main.c	Fri Jul 04 01:01:39 2014 +0000
+++ b/objgrep/main.c	Fri Jul 04 01:45:03 2014 +0000
@@ -34,6 +34,10 @@
 			argv[2], objfilename);
 		exit(2);
 	}
+	if (!grep_section->size) {
+		printf("%s:%s is empty\n", objfilename, grep_section->name);
+		exit(1);
+	}
 	get_int_symbol_table();
 	prepare_pattern();
 	binfilename = argv[3];