#!/usr/bin/env bash

: > makelogger

utils/makefilelogger.pl Makefile > Makefile-loggingsymbols

make -f Makefile-loggingsymbols "$@"