--- a/hotspot/src/share/vm/c1/c1_GraphBuilder.cpp	Tue Sep 24 15:56:25 2013 +0200
+++ b/hotspot/src/share/vm/c1/c1_GraphBuilder.cpp	Tue Sep 24 16:08:00 2013 -0700
@@ -4219,7 +4219,9 @@
     }
   }
 
-  if (!PrintInlining)  return;
+  if (!PrintInlining && !compilation()->method()->has_option("PrintInlining")) {
+    return;
+  }
   CompileTask::print_inlining(callee, scope()->level(), bci(), msg);
   if (success && CIPrintMethodCodes) {
     callee->print_codes();