Index: shell/dev/src/main/java/org/apache/karaf/shell/dev/FrameworkOptions.java
===================================================================
--- shell/dev/src/main/java/org/apache/karaf/shell/dev/FrameworkOptions.java	(revision 1127017)
+++ shell/dev/src/main/java/org/apache/karaf/shell/dev/FrameworkOptions.java	(working copy)
@@ -69,6 +69,7 @@
             Properties props = new Properties(new File(System.getProperty("karaf.base"), "etc/config.properties"));
             props.put("karaf.framework", framework.toLowerCase());
             props.save();
+            System.out.println("Changed OSGi framework to " + framework.toLowerCase() + ". Karaf needs to be restarted to make the change effective");
         }
 
         return null;