diff options
| author | Christoph Brill <egore911@gmail.com> | 2014-10-04 23:46:22 +0200 |
|---|---|---|
| committer | Christoph Brill <egore911@gmail.com> | 2014-10-04 23:46:22 +0200 |
| commit | 38339807faf68b200f51e4fa208e45c794e540ec (patch) | |
| tree | 9178ca45eb532024296a2ec95c27c7baca1823c2 | |
| parent | 7940c080c4b367a4f5589e92ff718ab9af9950ff (diff) | |
Add freedreno channel
| -rw-r--r-- | common.inc.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common.inc.php b/common.inc.php index ccd306d..c7403bc 100644 --- a/common.inc.php +++ b/common.inc.php @@ -20,7 +20,7 @@ date_default_timezone_set('US/Pacific'); define('LOG_DIR', './'); -$channels = array ('dri-devel', 'radeon', 'nouveau', 'wayland', 'd3d9'); +$channels = array ('dri-devel', 'radeon', 'nouveau', 'wayland', 'd3d9', 'freedreno'); if (isset($_GET['channel'])) $channel = $_GET['channel']; |