message: Never build tools, tests, and benchmarks when bootstrapping.
diff: @@ -16,6 +16,7 @@ add_subdirectory(pci_ids_parser)
  add_subdirectory(librs)
  +if(NOT BOOTSTRAP)
  ### External projects
  #
  # Build projects externally and deploy into temporary common prefix, will later
  @@ -38,6 +39,7 @@ endif()
  build_external(tests ${HERMIT_ROOT}/usr/tests hermit)
  build_external(benchmarks ${HERMIT_ROOT}/usr/benchmarks hermit)
  build_external(openmpbench ${HERMIT_ROOT}/usr/openmpbench hermit)
  +endif()
  ## relocate the local prefix to our install destination
  install(DIRECTORY ${LOCAL_PREFIX_DIR}/
  