#!/bin/sh
WBO-EXECUTABLE=wbo-static

$WBO-EXECUTABLE -file-format=opb $*
