has_header « scripts - dged - A text editor for datagubbar/datagummor.

summary refs log tree commit diff

path: root/scripts/has_header

blob: f679949a9432c0f7bd2c1a6aeac1906906064a93 (plain)

1 2	`#!/bin/sh echo "#include <$1>" \| cc -E - >/dev/null 2>&1`