Changeset 16432 for util

Timestamp:

05/18/07 20:44:53 (18 months ago)

Author:

audreyt

Message:

* util/gen_prelude.pl: More sensible msg at the end of prelude generation.

Files:

• util/gen_prelude.pl (modified) (3 diffs)

util/gen_prelude.pl

@@ -160 +160 @@
 
 sub precomp {
-    print STDERR "Generating precompiled Prelude" if $Config{verbose};
+    my $output = '';
+    if ($Config{output}) {
+        $output = "> $Config{output}";
+    }
+
+    if ($Config{verbose}) {
+        print STDERR "# $Config{pugs} -Iext/Math-Basic/lib -C Parse-YAML $TEMP_PRELUDE $output\n";
+        print STDERR "Generating precompiled Prelude";
+    }
+    
     die "*** Error: $0 needs an already compiled Pugs to precompile the Prelude\n"
         unless $Config{pugs};
@@ -168 +177 @@
     close OUT;
 
-    my $output = '';
-    if ($Config{output}) {
-        $output = "> $Config{output}";
-    }
-
-    warn("$Config{pugs} -Iext/Math-Basic/lib -C Parse-YAML $TEMP_PRELUDE $output\n");
     system("$Config{pugs} -Iext/Math-Basic/lib -C Parse-YAML $TEMP_PRELUDE $output");
 
@@ -192 +195 @@
          :"exited with error code ".($?>>8)) if $?;
 
-    print STDERR "done.\n" if $Config{verbose};
+    print STDERR "done!\n" if $Config{verbose};
 }