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