CONFIG_FILE
(GL: DCLRC)

Type Character
Initial value The value in a standard library .dclrc
Description External file name that reads an execution time option . Yet, the value of this inside variable as it is a file name as It is not necessarily used.