Diffusion Storage manager c484165d72a0

Makefile: Adapt makefile to use the dev profile
c484165d72a0
Actions

Tags

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Makefile: Adapt makefile to use the dev profile

Details

Provenance

ardumont	Authored on Nov 12 2018, 2:51 PM
ardumont	Pushed on Nov 14 2018, 3:58 PM

Differential Revision

D648: tests: Add hypothesis profile to run tests faster depending on location

Event Timeline

ardumont committed rDSTOc484165d72a0: Makefile: Adapt makefile to use the dev profile (authored by ardumont).Nov 14 2018, 3:19 PM

Commit No Longer Exists

This commit no longer exists in the repository.