1 #!/bin/sh
2 # SPDX-License-Identifier: GPL-2.0
3
4 cat << "END" | $@ -x c - -o /dev/null >/dev/null 2>&1
5 #include <stdio.h>
6 int main(void)
7 {
8 printf("");
9 return 0;
10 }
11 END
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.