index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
-rw-r--r-- | buildmaster/index.php | 2 |
diff --git a/buildmaster/index.php b/buildmaster/index.php index 4617103..e6c2145 100644 --- a/buildmaster/index.php +++ b/buildmaster/index.php @@ -21,7 +21,7 @@ if (array_key_exists("arch",$_GET)) { ); } } else { - $archs = array("i686" => "i686", "any" => "any"); + $archs = array("i686" => "i686", "pentium4" => "pentium4", "any" => "any"); } function encode_arch($a) { |