#!/bin/bash

set -x

TOOLCHAINCMD="$1"
shift

if [[ "$TOOLCHAINCMD" != "gcc" ]] || [[ -z "$TEMPDIR" ]]; then
    exec "$TOOLCHAINCMD" "$@"
fi

declare -a args=($@)

while [ "$#" -gt 0 ]; do
	if [ "$1" = "-o" ]; then
		case "$2" in
			*.mod.o|*built-in.o|vmlinux.o|.tmp_kallsyms1.o|.tmp_kallsyms2.o|init/version.o|arch/x86/boot/version.o|arch/x86/boot/compressed/eboot.o|arch/x86/boot/header.o|arch/x86/boot/compressed/efi_stub_64.o|arch/x86/boot/compressed/piggy.o|.*.o)
			break;
			;;
		*.o)
			mkdir -p "$TEMPDIR/orig/$(dirname $2)"
			cp -f "$2" "$TEMPDIR/orig/$2"
			echo "$2" >> "$TEMPDIR/changed_objs"
			;;
		*)
			break
			;;
		esac
	fi
	shift
done

exec "$TOOLCHAINCMD" "${args[@]}"