mirror of
https://github.com/steveicarus/iverilog.git
synced 2026-08-22 13:57:18 +02:00
vvp: Accept either \ or / as path separators in the -m option (issue #606).
Windows system calls will accept either of these. This is already done in the iverilog driver.
This commit is contained in:
+5
-1
@@ -1,5 +1,5 @@
|
|||||||
/*
|
/*
|
||||||
* Copyright (c) 2001-2020 Stephen Williams ([email protected])
|
* Copyright (c) 2001-2022 Stephen Williams ([email protected])
|
||||||
*
|
*
|
||||||
* This source code is free software; you can redistribute it
|
* This source code is free software; you can redistribute it
|
||||||
* and/or modify it in source code form under the terms of the GNU
|
* and/or modify it in source code form under the terms of the GNU
|
||||||
@@ -151,7 +151,11 @@ void vpip_load_module(const char*name)
|
|||||||
|
|
||||||
ivl_dll_t dll = 0;
|
ivl_dll_t dll = 0;
|
||||||
buf[0] = 0; /* terminate the string */
|
buf[0] = 0; /* terminate the string */
|
||||||
|
#ifdef __MINGW32__
|
||||||
|
if (strchr(name, '\\') || strchr(name, '/')) {
|
||||||
|
#else
|
||||||
if (strchr(name, sep)) {
|
if (strchr(name, sep)) {
|
||||||
|
#endif
|
||||||
/* If the name has at least one directory character in
|
/* If the name has at least one directory character in
|
||||||
it, then assume it is a complete name, maybe including any
|
it, then assume it is a complete name, maybe including any
|
||||||
possible .vpi suffix. */
|
possible .vpi suffix. */
|
||||||
|
|||||||
Reference in New Issue
Block a user