lang/gnat_util/files/osint_scars.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

/* Dummy version of set_std_prefix (needed by osint.adb) */

void
set_std_prefix (char *path, int len)
{
}

/* Dummy version of update_path (needed by osint.adb) */

char *
update_path (char *path, char *key)
{
  return path;
}