Getopt thinks a path is a comment

[veripoolbot]

---

Author Name: Peter Nelson
Original Redmine Issue: 1610 from https://www.veripool.org

---

When passed a -f file.vc Getopt will strip any comments:
https://metacpan.org/release/Verilog-Perl/source/Getopt.pm#L84
$line =~ s///.*$//;

The problem is paths can have // in them - such as /home/foo//bar. This line will spuriously strip the path to be /home/foo.

The regex needs to check the comment has a preceding start-of-line or space:
$line =~ s/(?:^|\s)//.*$//;

[veripoolbot]

---

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-11-20T12:07:03Z

---

Indeed, good point & other simulators handle this.

To give you author credit, do you signoff for me to git commit with your name and email address?

[veripoolbot]

---

Original Redmine Comment
Author Name: Peter Nelson
Original Date: 2019-11-21T02:00:40Z

---

No need for author credit, I'd rather not have my email address in more places that get spam =p

[veripoolbot]

---

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-11-21T02:16:12Z

---

That's why I ask ;)

Pushed to git towards eventual 3.470 release.

[wsnyder]

Released in 3.470 on 2020-1-6.