diff --git a/openjdk/build.xml b/openjdk/build.xml
index fc324b5b2d..fce6353754 100755
--- a/openjdk/build.xml
+++ b/openjdk/build.xml
@@ -243,7 +243,7 @@
 
 	<target name="dist" depends="getJtreg, getOpenjdk" description="generate the distribution">
 		<copy todir="${DEST}">
-			<fileset dir="${src}" includes="*.xml,**/ProblemList_openjdk${env.JDK_VERSION}.txt,*.mk"/>
+			<fileset dir="${src}" includes="*.xml,**/ProblemList_openjdk${env.JDK_VERSION}*.txt,*.mk"/>
 		</copy>
 	</target>