#!/usr/bin/env bash

: > makelogger

cp Makefile Makefile.prev

utils/makefilelogger.pl Makefile.prev > Makefile

make "$@"

rm Makefile
mv Makefile.prev Makefile