diff make/common/Library.gmk @ 3433:f08682e23279

Merge
author ohair
date Wed, 02 Feb 2011 09:39:31 -0800
parents fe1b5c15afab 006c683ead1a
children 6aeed99af874
line wrap: on
line diff
--- a/make/common/Library.gmk	Fri Jan 28 10:04:51 2011 -0800
+++ b/make/common/Library.gmk	Wed Feb 02 09:39:31 2011 -0800
@@ -167,6 +167,7 @@
 	  $(LFLAGS) @$(OBJDIR)/$(LIBRARY).lcf \
 	  $(OTHER_LCF) $(JAVALIB) $(LDLIBS)
 	$(CP) $(OBJDIR)/$(@F) $@
+	@$(call binary_file_verification,$@)
 	$(install-module-file)
 	$(CP) $(OBJDIR)/$(LIBRARY).map $(@D)
 	$(CP) $(OBJDIR)/$(LIBRARY).pdb $(@D)
@@ -233,6 +234,7 @@
 	$(AR) -r $@ $(FILES_o)
 else # LIBRARY
 	$(LINKER) $(SHARED_LIBRARY_FLAG) -o $@ $(FILES_o) $(LDLIBS)
+	@$(call binary_file_verification,$@)
 	$(install-module-file)
 ifeq ($(WRITE_LIBVERSION),true)
 	$(MCS) -d -a "$(FULL_VERSION)" $@