fix handling when a proper getopt(1) is available; the "--"
end-of-options marker wasn't recognized
F
Fred Drake committed
96b935e6435ea9928f3a11732d07ecfbb9a671d1
Parent: 93b4b88
end-of-options marker wasn't recognized