# HG changeset patch # User giacomo # Date 1142127013 28800 # Node ID e02f438d93c19a44bfd5b8322613ca3f00fc8d37 # Parent 61d85944a2339775a33b56e2bd2ce166b3356fbe [svn] revert erroneous change in objective.mk diff -r 61d85944a233 -r e02f438d93c1 mk/objective.mk --- a/mk/objective.mk Sat Mar 11 17:25:53 2006 -0800 +++ b/mk/objective.mk Sat Mar 11 17:30:13 2006 -0800 @@ -1,5 +1,5 @@ # Shut up GNU make -#.SILENT: +.SILENT: OBJECTIVE_DIRECTORIES = none OBJECTIVE_LIBS = none