christos c1b02d9bff - Fix -v flag, so that it works properly when the shell reads from scripts.
- Bad style to fix my own PR, but I'd like to commit the parallel make
  changes soon, and this is a necessary prerequisite.
1995-09-26 13:25:19 +00:00
..
1995-09-07 06:12:53 +00:00
1995-09-07 06:12:53 +00:00
1995-09-07 06:12:53 +00:00
1995-08-11 00:38:15 +00:00
1995-09-07 06:28:39 +00:00
1995-09-07 06:28:39 +00:00
1995-09-07 06:42:58 +00:00
1995-09-07 06:42:58 +00:00
1995-09-07 06:42:58 +00:00
1995-09-07 06:57:11 +00:00