#!/bin/sh

exec make FINAL=1 $@