diff options
| -rwxr-xr-x | utils/NewNightlyTest.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/utils/NewNightlyTest.pl b/utils/NewNightlyTest.pl index 709afd58d1..67af967974 100755 --- a/utils/NewNightlyTest.pl +++ b/utils/NewNightlyTest.pl @@ -777,6 +777,7 @@ if (!$BuildError && $patrickjenkins) { print "External TEST STAGE\n"; } ($ExternalProgramsTable, $externalsource_llcbeta_options) = TestDirectory("External"); + WriteFile "$Prefix-externalprogramstable.txt", $ExternalProgramsTable; system "cat $Prefix-singlesourceprogramstable.txt $Prefix-multisourceprogramstable.txt ". " $Prefix-externalprogramstable.txt | sort > $Prefix-Tests.txt"; } else { |