/* This file is needed just to make sure the archiver isn't called
 * with an empty list of object files. */

static void aci_dummy_dont_call_this(void)
{
}