Skip to content
GitLab
Explore
Sign in
Fix dependency in makefile (for parallel compilation)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Thomas Hayward-Schneider
requested to merge
profile_interpos
into
check_rhotor
Jul 07, 2023
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Since profile now uses interpos, add a dependency between the 2 files in the Makefile
Merge request reports