Skip to content

Commit

Permalink
* Remove unused opts argument for recompile
Browse files Browse the repository at this point in the history
  • Loading branch information
Lukas Abelt committed Sep 5, 2023
1 parent 059fb8c commit a62b68e
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions varats/varats/projects/cpp_projects/dune.py
Original file line number Diff line number Diff line change
Expand Up @@ -190,10 +190,8 @@ def recompile(self) -> None:
with local.cwd(version_source):
dunecontrol = cmd['./dune-common/bin/dunecontrol']

bb.watch(dunecontrol)(
'--module=dune-performance-regressions', '--opts=vara.opts',
'make'
)
bb.watch(dunecontrol
)('--module=dune-performance-regressions', 'make')

def run_tests(self) -> None:
pass

0 comments on commit a62b68e

Please sign in to comment.