Next / Previous / Contents / Shipman's homepage

80.3. Manifest constants

LOG_FILE is the name of the file to which we will write duplicates of all error messages written to the standard error stream. OUT_EXTENSION is the file extension added to the input file name to form the output file name.

# Manifest constants

LOG_FILE = "iband.log"