Skip to content
Snippets Groups Projects

Add dev name to labels

Merged floreal.risso requested to merge pr_nvidia into devel
  • Makefile now includes captors.mk which defines captor object files to build (the previous behaviour was to build all captors regardless of the captor selection during configuration)
  • correct a bug in configure.sh : now properly detect amd cpu family
  • configure.sh now print an error when 0 captors are selected
  • configure.sh now do a make clean on successful configuration
  • nvidia_gpu.c

Merge request reports

Pipeline #5436 failed

Pipeline failed for 4c313748 on pr_nvidia

Approved by

Merged by Georges Da CostaGeorges Da Costa 2 years ago (Apr 8, 2023 9:34am UTC)

Merge details

  • Changes merged into devel with 61037b58.
  • Deleted the source branch.

Pipeline #5501 failed

Pipeline failed for 61037b58 on devel

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading