Ethan Atkins f7f6c3edfe Use '_' instead of '$' in path names ...

The use of '$' in the path names for streams is a pain because, since
'$' is a special character in the shell, it makes it impossible to
directly copy and paste the paths. If we make this change, some builds
will be left with vestigial directories with $global and $build in them
until they run clean. It also would break any scripts that manually
delete these paths. That doesn't seem like a common use case, but it's
worth mentioning.

2019-07-25 14:07:44 -07:00

..

src

Use '_' instead of '$' in path names

2019-07-25 14:07:44 -07:00

NOTICE

Add, configure & enforce file headers

2017-10-05 09:03:40 +01:00