#!/bin/bash

if [[ `echo "$@" | grep -c -- -target` -eq 0 ]]
then
  clang-13.orig --target=bpf "$@"
else
  clang-13.orig "$@"
fi
