Module Name:	pkgsrc
Committed By:	minskim
Date:		Sat May 21 22:35:46 UTC 2005

Modified Files:
	pkgsrc/lang/ocaml: Makefile.common

Log Message:
Do not strip commands on Linux, where some of them are not regular binaries.


To generate a diff of this commit:
cvs rdiff -r1.7 -r1.8 pkgsrc/lang/ocaml/Makefile.common

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.