#!/bin/bash

set -e

export KERNEL_SOURCE_ROOT=/usr/src/linux-source-2.6.32

source ./make_intel_func

echo
echo WARNING: you are not supposed to use the tdm_infra.ko that is
echo produced by this build system (if it is produced...)
echo

make_intel "$@"