#! /bin/sh

# Object files cause problems on Github Actions where they get included
# in the source package that is re-generated from the original source, so
# we remove them here in the cleanup step
find src -name *.o | xargs rm
