Patch from Jos Backus -- Fix breakage from dev_t to DEV64_T in batch
mode. Also, drop -f and -F for batch mode: these should be reserved for options that are more commonly used. It also appends a newline to the argvs file and skips adding the source directory to the command line.
Showing
Please register or sign in to comment