[MLton-commit] r6002

[Stephen Weeks]

handle Debian nostrip build option

----------------------------------------------------------------------

U   mlton/trunk/Makefile
U   mlton/trunk/package/debian/changelog

----------------------------------------------------------------------

Modified: mlton/trunk/Makefile
===================================================================
--- mlton/trunk/Makefile	2007-09-04 13:35:50 UTC (rev 6001)
+++ mlton/trunk/Makefile	2007-09-05 00:51:52 UTC (rev 6002)
@@ -430,6 +430,7 @@
 	if $(GZIP_MAN); then						\
 		cd "$(TMAN)" && $(GZIP) $(MAN_PAGES);			\
 	fi
+ifeq (,$(findstring nostrip,$(DEB_BUILD_OPTIONS)))
 	case "$(TARGET_OS)" in						\
 	aix|cygwin|darwin|solaris)					\
 	;;								\
@@ -441,6 +442,7 @@
 				--remove-section=.note "$$f"; 		\
 		done							\
 	esac
+endif
 
 .PHONY: install-docs
 install-docs:

Modified: mlton/trunk/package/debian/changelog
===================================================================
--- mlton/trunk/package/debian/changelog	2007-09-04 13:35:50 UTC (rev 6001)
+++ mlton/trunk/package/debian/changelog	2007-09-05 00:51:52 UTC (rev 6002)
@@ -1,3 +1,6 @@
+## Move this into next package
+  * handle nostrip build option.  closes #437581
+
 mlton (20070826-1) unstable; urgency=low
 
   * new upstream version