Debugged config/*.h file building.
authorMarty Connor <mdc@etherboot.org>
Wed, 19 Aug 2009 08:19:21 +0000 (04:19 -0400)
committerMarty Connor <mdc@etherboot.org>
Wed, 19 Aug 2009 08:19:21 +0000 (04:19 -0400)
build.php
directions.php
doc/CONSOLE_PC_BIOS.html [moved from doc/CONSOLE_FIRMWARE.html with 100% similarity]
flag-table.php
utils.php

index 2ce4e85..b6d82d8 100644 (file)
--- a/build.php
+++ b/build.php
@@ -42,12 +42,13 @@ if ( isset ( $nics[$_POST['nic']] ) ) {
     die ( "Invalid NIC \"${_POST['nic']}\" supplied!" );
 }
 
-$flags = get_flags ();
-
 // Make temporary copy of src directory
 $dir = mktempcopy ( "$src_dir", "/tmp" );
 $config_dir = $dir . "/config";
 
+// Fetch flags
+$flags = get_flags ();
+
 // Write config files with supplied flags
 write_gpxe_config_files ( $config_dir, $flags );
 
@@ -85,7 +86,8 @@ $make_cmd = "make -C '$dir' '$make_target' $emb_script_cmd $2>&1";
 
 exec ( $make_cmd, $maketxt, $status );
 
-// Uncomment for debugging
+// Uncomment the following section for debugging
+
 /**
 echo "<h2>build.php:</h2>";
 echo "<h3>Build options:</h3>";
@@ -111,10 +113,12 @@ echo "Build status = <? echo $status ?>" . "<br>";
 echo "<blockquote>"."<pre>";
 echo htmlentities ( implode ("\n", $maketxt ) );
 echo "</pre>"."</blockquote>";
-deltempdir ( $dir );
+// deltempdir ( $dir );
 die ( "<h3>End debugging output</h3>" );
 **/
 
+//   End debugging section
+
 // Send ROM to browser (with extreme prejudice)
 
 if ( $status == 0 ) {
@@ -153,19 +157,7 @@ deltempdir ( $dir );
 
 // Announce failure if $status from make was non-zero
 
-$header_title = "Build failed";
-$html_title   = "Build failed";
-$description  = "Build failed";
-
-include_once ( $top_inc );
-
-?>
-
-Build failed.  Status = <? echo $status ?>.
-<br><br>
-Following is the output from <code>make</code>:
-<br><br>
-
+echo "<h2>Build failed.  Status = " . $status . "</h2>";
 echo "<h2>build.php:</h2>";
 echo "<h3>Build options:</h3>";
 echo "<b>Build directory is:</b> $dir" . "<br><br>";
@@ -190,13 +182,12 @@ echo "<blockquote>"."<pre>";
 echo htmlentities ( implode ("\n", $maketxt ) );
 echo "</pre>"."</blockquote>";
 
-Please let us know that this happened.
-
-<? include_once $bottom_inc ?>
+echo "Please let us know that this happened.<br>";
 
-<?
+include_once $bottom_inc;
 
-// Local variables:
+// For emacs:
+//  Local variables:
 //  c-basic-offset: 4
 //  c-indent-level: 4
 //  tab-width: 4
index 85f882c..0dccf66 100644 (file)
               : "", 5 ); ?> 
       <h4>Please note for ROM images:</h4>
       <ul>
-        <li>
-          gPXE does not support all possible PCI IDs for supported 
-          NICs.
-          <br><br>
-        </li>
         <li>
           If you enter PCI IDs, we will attempt to determine the correct<br>
           driver to support them, and will ignore any NIC type entered 
           above.<br><br>
         </li>
+        <li>
+          gPXE does not support all possible PCI IDs for supported 
+          NICs.
+          <br><br>
+        </li>
       </ul>
     </li>
index c257340..93991c4 100644 (file)
@@ -23,14 +23,13 @@ $flag_table = array (
           "label" => "Miscellaneous Options" 
                ),
 
-/**    
        "PRODUCT_NAME"
        => array (
           "flag" => "PRODUCT_NAME",
           "hide_from_user" => "yes",
           "type" => "string",
-          "value" => "gPXE",
-          "cfgsec" => "gemeral"
+          "value" => "",
+          "cfgsec" => "general"
           ),
        
        "PRODUCT_SHORT_NAME"
@@ -39,9 +38,8 @@ $flag_table = array (
           "hide_from_user" => "yes",
           "type" => "string",
           "value" => "gPXE",
-          "cfgsec" => "gemeral"
+          "cfgsec" => "general"
           ),
-**/
 
        // End General Options:
 
@@ -54,7 +52,7 @@ $flag_table = array (
           "label" => "Console Options" 
                ),
        
-       "CONSOLE_FIRMWARE"
+       "CONSOLE_PC_BIOS"
        => array (
           "flag" => "CONSOLE_PCBIOS",
           "type" => "on/off",
index a2c4b14..947ab91 100644 (file)
--- a/utils.php
+++ b/utils.php
@@ -198,12 +198,8 @@ function default_flags ()
         $type  = $props["type"];
 
         // Fields like headers have no "value" property
-        $value = isset ( $props["value"] ) ? $props['value'] : '';
-
-        if ( $value != '' ) {
-            if ( $type != "on/off" || $value == "on" ) {
-                $flags[$flag] = $props["value"];
-            }
+        if ( isset ( $props["value"] ) ) {
+            $flags[$flag] = $props["value"];
         }
     }
     return $flags;
@@ -238,13 +234,12 @@ function pprint_flag ( $key, $value )
     } else if ( $type == "on/off" && $value != "on" ) {
         $s = "#undef $key";
     } else if ( $type == "string" ) {
-        if ( $value != "" ) $s = ( "#define $key \"" . cleanstring($value) . "\"" );
+        $s = ( "#define $key \"" . cleanstring ( $value ) . "\"" );
     } else if ($type == "qstring" ) {
-        if ( $value != "" ) $s = ( "#define $key \\\"" . cleanstring($value) . "\\\"" );
+        $s = ( "#define $key \\\"" . cleanstring ( $value ) . "\\\"" );
     } else {
         $s = "#define $key " . cleanstring($value);
     }
-    // print ( $s . "<br>" );
     
     return $s;
 }
@@ -253,9 +248,8 @@ function pprint_flags ( $flags )
 {
     $s = "";
        foreach ( $flags as $key => $value ) {
-        $f = pprint_flag($key, $value);
-        if ($f != "" )
-            $s .= $f . " ";
+        $f = pprint_flag ( $key, $value );
+        $s .= $f . " ";
     }
     return $s;
 }
@@ -324,7 +318,7 @@ function echo_flags ( $flags )
     echo "</table>";
 }
 
-function get_cfgsecs ()
+function get_flag_cfgsecs ()
 {
     global $flag_table;
     $cfgsecs = array ();
@@ -362,7 +356,7 @@ function write_gpxe_config_files ( $config_dir, $flags )
 {
     global $flag_table;
 
-    $cfgsecs = get_cfgsecs ();
+    $cfgsecs = get_flag_cfgsecs ();
 
     foreach ( $cfgsecs as $cfgsec ) {