#!/bin/sh
(cd horbc; make $*)
(cd orb; make $*)
