#!/bin/bash

set -e
GENERATED_SOURCE=tmp.c
EXECUTABLE=sinon.exe
if [[ -r $GENERATED_SOURCE ]]; then
   INPUT_SOURCE=$GENERATED_SOURCE
else
   INPUT_SOURCE=$(grep -F 'source = ' Makefile | awk '{print $3}')
fi

gcc -O2 $INPUT_SOURCE -o $EXECUTABLE
./$EXECUTABLE | tee $GENERATED_SOURCE