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
12