4 # Copyright (C) 2004 Robin Rosenberg.
6 # This program is available under the terms of the GNU Public License.
9 while [ "${1:0:1}" = "-" ]
28 if [ ! -f $HOME/.cev
/stdinc.h
]
30 cat >$HOME/.cev
/stdinc.h
<<EOF
31 // Do not forget to re-precompile this
32 // file if you modify it or delete the
36 #include <sys/types.h>
41 gcc
$HOME/.cev
/stdinc.h ||
echo "W:Could not create precompiled heaader file"
46 trap "rm -f $tmpf $tmpfx" 0
48 #include "$HOME/.cev/stdinc.h"
52 echo >>$tmpf "#include <$i>"
64 main(int argc,char **argv)
70 gcc
-o $tmpx $tmpf $FLAGS && $tmpx ||
grep -n .
$tmpf