From e98ed9934e5393aad12ce0a72663d9a71fd8fd58 Mon Sep 17 00:00:00 2001 From: rjust Date: Wed, 11 Sep 2024 18:18:58 -0700 Subject: [PATCH] Set property for hamcrest (no longer included in junit jar). --- framework/projects/Lang/Lang.build.xml | 1 + framework/projects/defects4j.build.xml | 1 + 2 files changed, 2 insertions(+) diff --git a/framework/projects/Lang/Lang.build.xml b/framework/projects/Lang/Lang.build.xml index 448ab3954..203ee0291 100644 --- a/framework/projects/Lang/Lang.build.xml +++ b/framework/projects/Lang/Lang.build.xml @@ -72,6 +72,7 @@ of the checked-out project version. + diff --git a/framework/projects/defects4j.build.xml b/framework/projects/defects4j.build.xml index e1839b26e..87af7ab3f 100644 --- a/framework/projects/defects4j.build.xml +++ b/framework/projects/defects4j.build.xml @@ -47,6 +47,7 @@ project-specific build file ("project_id"/"project_id".build.xml) for the +