tree 6fd9a8980dbaf10ad9aebcf92620c5771920a2f8
parent 38a6055c37369e163fcc42e24b5eba04ee792734
author Daniel D. Daugherty <dcubed@openjdk.org> 1343944454 -0700
committer Daniel D. Daugherty <dcubed@openjdk.org> 1343944454 -0700

7188168: 7071904 broke the DEBUG_BINARIES option on Linux

Change DEBUG_BINARIES option logic to be more clear.

Reviewed-by: fparain, andrew