#!/bin/sh
exec @@CONFIG_TARGET_OBJDUMP@@ "$@"