blob: 1de074b19a8967272c200f0e487912eba18c31ae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
--- a/Run 2024-06-07 13:23:39.441778851 +0200
+++ b/Run 2024-06-07 13:10:25.282035360 +0200
@@ -874,14 +874,14 @@
$ENV{'LANG'} = $language;
# Check that the required files are in the proper places.
- my $make = $ENV{MAKE} || "make";
- system("$make check");
- if ($? != 0) {
- system("$make all");
- if ($? != 0) {
- abortRun("\"$make all\" failed");
- }
- }
+ #my $make = $ENV{MAKE} || "make";
+ #system("$make check");
+ #if ($? != 0) {
+ # system("$make all");
+ # if ($? != 0) {
+ # abortRun("\"$make all\" failed");
+ # }
+ #}
# Create a script to kill this run.
system("echo \"kill -9 $$\" > \"${TMPDIR}/kill_run\"");
|