From dbdf4da2576f889544a33ce0bad4b8a5ff3eca87 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Thu, 21 Sep 2023 16:59:15 -0400
Subject: Add a 10-minute timeout for all builds

A build should never take more than 10 minutes. If it does, then force the
programmer to make stuff faster. This should be a forcing function to either
delete unneeded code, or improve the build system.
---
 Biz/Cli.hs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Biz/Cli.hs')

diff --git a/Biz/Cli.hs b/Biz/Cli.hs
index b3c7583..819fdf1 100644
--- a/Biz/Cli.hs
+++ b/Biz/Cli.hs
@@ -10,7 +10,7 @@ module Biz.Cli
     Docopt.docopt,
     Docopt.getAllArgs,
     Docopt.getArg,
-    Docopt.getArgWithDefault,
+    getArgWithDefault,
     Docopt.longOption,
     Docopt.shortOption,
     Docopt.command,
@@ -44,3 +44,8 @@ main Plan {..} =
 
 has :: Docopt.Arguments -> Docopt.Option -> Bool
 has = Docopt.isPresent
+
+-- | This ignores the second argument because the default should come from the
+-- USAGE text with [default: x].
+getArgWithDefault :: Docopt.Arguments -> Docopt.Option -> String
+getArgWithDefault args = Docopt.getArgWithDefault args ""
-- 
cgit v1.2.3