1430 |
void |
void |
1431 |
sync_Path_environment (void) |
sync_Path_environment (void) |
1432 |
{ |
{ |
1433 |
char *path = allocated_variable_expand ("$(Path)"); |
char *path = allocated_variable_expand ("$(PATH)"); |
1434 |
static char *environ_path = NULL; |
static char *environ_path = NULL; |
1435 |
|
|
1436 |
if (!path) |
if (!path) |
1447 |
* Create something WINDOWS32 world can grok |
* Create something WINDOWS32 world can grok |
1448 |
*/ |
*/ |
1449 |
convert_Path_to_windows32 (path, ';'); |
convert_Path_to_windows32 (path, ';'); |
1450 |
environ_path = concat ("Path", "=", path); |
environ_path = concat ("PATH", "=", path); |
1451 |
putenv (environ_path); |
putenv (environ_path); |
1452 |
free (path); |
free (path); |
1453 |
} |
} |