index : website | |
Archlinux32 website - obsolete | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2019-04-16 11:49:43 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-04-16 11:49:43 +0200 |
commit | 26edecf50407357c1123dc280bcfaa568204e4a0 (patch) | |
tree | 57146a447c4bb07449d2b7140c656f4d070aace7 /buildmaster | |
parent | ed42f34ce97d2fd5c462c7cd7d3ba58cfd0424ea (diff) |
-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) { |