#!/bin/sh

make GITCOMPILE_ARGS="$*"