#!/bin/sh

source ../../Config.sh

PP_PUBLIC_INCLUDES="ipmi_bmc_si.h"

pp_do "$@"
