diff options
| -rwxr-xr-x | config/auto-aux/hasgot | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/auto-aux/hasgot b/config/auto-aux/hasgot index 584031ec2..7ecb6e1b0 100755 --- a/config/auto-aux/hasgot +++ b/config/auto-aux/hasgot @@ -7,6 +7,7 @@ rm -f hasgot.c while : ; do case "$1" in -i) echo "#include <$2>" >> hasgot.c; shift;; + -t) echo "$2 the_$2;" >> hasgot.c; shift;; -l*|-L*) libs="$libs $1";; -*) opts="$opts $1";; *) break;; |