diff options
Diffstat (limited to 'lang/gnat_util/files/set_std_prefix.c')
| -rw-r--r-- | lang/gnat_util/files/set_std_prefix.c | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/lang/gnat_util/files/set_std_prefix.c b/lang/gnat_util/files/set_std_prefix.c new file mode 100644 index 000000000000..5c28bb3b5e3b --- /dev/null +++ b/lang/gnat_util/files/set_std_prefix.c @@ -0,0 +1,26 @@ +/********************************************************************* + * G P S * + * * + * Copyright (C) 2002-2004 * + * ACT-Europe * + * * + * GPS is free software; you can redistribute it and/or modify it * + * under the terms of the GNU General Public License as published by * + * the Free Software Foundation; either version 2 of the License, or * + * (at your option) any later version. * + * * + * This program is distributed in the hope that it will be useful, * + * but WITHOUT ANY WARRANTY; without even the implied warranty of * + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * + * General Public License for more details. You should have received * + * a copy of the GNU General Public License along with this program; * + * if not, write to the Free Software Foundation, Inc., 59 Temple * + * Place - Suite 330, Boston, MA 02111-1307, USA. * + *********************************************************************/ + +/* Dummy version of set_std_prefix (needed by osint.adb) */ + +void +set_std_prefix (char *path, int len) +{ +} |