diff options
author | moonman | 2015-08-15 02:03:51 -0600 |
---|---|---|
committer | moonman | 2015-08-15 02:10:35 -0600 |
commit | 6654b364505e7c310f89d2343c41bfa874374044 (patch) | |
tree | 66918b1b70331886ecbd813b702f0eea14f0c2e5 /no-make.patch | |
download | aur-6654b364505e7c310f89d2343c41bfa874374044.tar.gz |
Add unixbench
Diffstat (limited to 'no-make.patch')
-rw-r--r-- | no-make.patch | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/no-make.patch b/no-make.patch new file mode 100644 index 000000000000..83810f4945fb --- /dev/null +++ b/no-make.patch @@ -0,0 +1,36 @@ +diff -ruN a/Run b/Run +--- a/Run 2011-01-17 23:44:53.000000000 -0700 ++++ b/Run 2015-03-14 15:17:39.000000000 -0600 +@@ -785,13 +785,13 @@ + $ENV{'LANG'} = $language; + + # Check that the required files are in the proper places. +- system("make check"); +- if ($? != 0) { +- system("make all"); +- if ($? != 0) { +- abortRun("\"make all\" failed"); +- } +- } ++# 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\""); +diff -ruN a/src/dhry_1.c b/src/dhry_1.c +--- a/src/dhry_1.c 2011-01-17 23:44:53.000000000 -0700 ++++ b/src/dhry_1.c 2015-03-14 15:34:29.000000000 -0600 +@@ -75,7 +75,7 @@ + + #ifdef TIMES + struct tms time_info; +-extern int times (); ++//extern int times (); + /* see library function "times" */ + #define Too_Small_Time 120 + /* Measurements should last at least about 2 seconds */ |