1#!/bin/sh
2
3set -e
4
5cfile=/tmp/valueof.$$.c
6include="$1"
7var="$2"
8
9cat > $cfile <<END
10#include <stdio.h>
11#include <$include>
12
13int main()
14{
15 printf("$var=%d\n", $var);
16 return 0;
17}
18
19END
20
21gcc -w $3 $cfile -o $cfile.bin
22$cfile.bin
23
24rm $cfile*
25