diff --git a/CHECKS b/CHECKS deleted file mode 100644 index 4a083a8e..00000000 --- a/CHECKS +++ /dev/null @@ -1,5 +0,0 @@ -WAIT=10 -TIMEOUT=10 -ATTEMPTS=30 # 10 * 30 = 5 min - -/ diff --git a/CHECKS.disabled b/CHECKS.disabled new file mode 100644 index 00000000..738277fe --- /dev/null +++ b/CHECKS.disabled @@ -0,0 +1,5 @@ +WAIT=10 +TIMEOUT=10 +ATTEMPTS=10 + +/