1#!/bin/sh
 2# SPDX-License-Identifier: GPL-2.0
 3
 4cat << "END" | $@ -x c - -o /dev/null >/dev/null 2>&1
 5#include <stdio.h>
 6int main(void)
 7{
 8	printf("");
 9	return 0;
10}
11END