chiark / gitweb /
add --prefix option; stop appending /debian/po to old-tree; check that target file...
[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