frog: life is better with colors :)

frog/minfrog.dart

Index: frog/minfrog.dart
diff --git a/frog/minfrog.dart b/frog/minfrog.dart
index 575900985bb16084dc3797dfa21e9e70b1035ca7..f40b540746c8de431b532fa2bfe39d40f51e6d8c 100644
--- a/frog/minfrog.dart
+++ b/frog/minfrog.dart
@@ -19,7 +19,13 @@ void main() {
 
   if (compile(homedir, argv, new NodeFileSystem())) {
     var code = world.getGeneratedCode();
-    if (!options.compileOnly) {
+    if (options.compileOnly) {
+      if (options.outfile !== null) {
+        print('Compilation succeded. Code generated in: ${options.outfile}');
+      } else {
+        print('Compilation succeded.');
+      }
+    } else {
       process.argv = [argv[0], argv[1]];
       process.argv.addAll(options.childArgs);
       // TODO(jmesserly): we shouldn't force the child process to patch argv.