1 /* Configuration for an i386 running VSTa micro-kernel. 2 Copyright (C) 1994, 2002 Free Software Foundation, Inc. 3 Contributed by Rob Savoye (rob@cygnus.com). 4 5 This file is part of GNU CC. 6 7 GNU CC is free software; you can redistribute it and/or modify 8 it under the terms of the GNU General Public License as published by 9 the Free Software Foundation; either version 2, or (at your option) 10 any later version. 11 12 GNU CC is distributed in the hope that it will be useful, 13 but WITHOUT ANY WARRANTY; without even the implied warranty of 14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15 GNU General Public License for more details. 16 17 You should have received a copy of the GNU General Public License 18 along with GNU CC; see the file COPYING. If not, write to 19 the Free Software Foundation, 59 Temple Place - Suite 330, 20 Boston, MA 02111-1307, USA. */ 21 22 #define TARGET_VERSION fprintf (stderr, " (80386, BSD syntax)"); 23 24 #define TARGET_OS_CPP_BUILTINS() \ 25 do \ 26 { \ 27 builtin_define_std ("unix"); \ 28 builtin_define ("VSTA"); \ 29 builtin_assert ("system=unix"); \ 30 builtin_assert ("system=vsta"); \ 31 } \ 32 while (0) 33