#!/bin/sh

exec tee /tmp/noweb.$$