chiark / gitweb /
New tool to get/update/switch (as appropriate) subdirectories in a tree
[bin.git] / buildd-logs
1 #! /bin/sh
2 set -e
3
4 if [ -z "$1" ]; then
5     ${BROWSER:-w3m} http://buildd.debian.org/build.php
6 else
7     ${BROWSER:-w3m} "http://buildd.debian.org/build.php?pkg=$1"
8 fi