diff options
Diffstat (limited to 'dev-ml/patience_diff')
| -rw-r--r-- | dev-ml/patience_diff/patience_diff-0.14.0.ebuild | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild index cd95ca35acf3..67d3bdbbc951 100644 --- a/dev-ml/patience_diff/patience_diff-0.14.0.ebuild +++ b/dev-ml/patience_diff/patience_diff-0.14.0.ebuild @@ -19,7 +19,3 @@ RDEPEND=" dev-ml/core_kernel:= dev-ml/ppx_jane:= " - -src_compile() { - dune build @install --profile release || die -} |