diff options
Diffstat (limited to 'hints/titanos.sh')
| -rw-r--r-- | hints/titanos.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/hints/titanos.sh b/hints/titanos.sh index cea99f82a3..88a3e7a963 100644 --- a/hints/titanos.sh +++ b/hints/titanos.sh @@ -12,7 +12,6 @@ intsize='4' usenm='true' nm_opt='-eh' malloctype='void *' -models='none' ccflags="$ccflags -I/usr/include/net -DDEBUGGING -DSTANDARD_C" cppflags="$cppflags -I/usr/include/net -DDEBUGGING -DSTANDARD_C" stdchar='unsigned char' |