Pasted

<?php
// 1 = git
// 2 = svn
// 3 = cvs (yet to be used)
 
$repos[] = array("gnuradio",1);
$repos[] = array("gqrx",1);
$repos[] = array("gr-iqbal",1);
$repos[] = array("gr-osmosdr",1);
$repos[] = array("gr-pocsag",2);
$repos[] = array("kalibrate-rtl",1);
$repos[] = array("libosmo-dsp",1);
$repos[] = array("multimode",2);
$repos[] = array("rtl-sdr",1);
$repos[] = array("sdrsharp",2);
$repos[] = array("uhd",1);
 
 
 
foreach ($repos as $repo) {
        $d = $repo[0];
        $t = $repo[1];
        echo "Updating ".$d." via ";
        switch ($t)  {
                case 1:
                        echo "git\n";
                        system("cd '".$d."' && git pull");
                        break;
                case 2:
                        echo "svn\n";
                        system("cd '".$d."' && svn update");
                        break;
        }
}