#!/bin/sh objroot=$1 cat <