Commits on May 21, 2019

1. Makefile.in: have recursive make happen with dry run …

   When calling echo 'You can run the Makefile directly, but it is recommended to use'
   echo
   echo '  flit make'
   echo
   echo 'so that you can have functionality such as adding the results to a'
   echo 'database.'
   echo
   echo 'The following targets are available:'
   echo
   echo '  help        Show this help and exit (default target)'
   echo '  dev         Only run the devel compilation to test things out'
   echo '  groundtruth Compile the ground-truth version'
   echo '  gt          Same as groundtruth'
   echo '  runbuild    Build all executables needed for the run target'
   echo '  run         Run all combinations of compilation, results in results/'
   echo '  clean       Clean intermediate files'
   echo '  veryclean   Runs clean + removes targets and results'
   echo '  distclean   Same as veryclean'
   echo, perform the recursive make anyways.  This
   can be helpful for debugging or for testing

   

   mikebentley15 committed May 21, 2019
   Configuration menu

   • View commit details
   • Copy full SHA for d3d249f
   • Browse repository at this point

   Copy the full SHA

   d3d249f View commit details

   Browse the repository at this point in the history