#!/bin/bash

pushd header
	cc header.c -o header -lm
popd