Project

General

Profile

« Previous | Next » 

Revision 5973

Added by Aaron Marcuse-Kubitza about 12 years ago

input.Makefile: Verification of import: verify/%.out: Made the target .PRECIOUS so that partial output will be saved in case of error to help debugging

  • added
  • modified
  • copied
  • renamed
  • deleted