[no subject]

[Ludovic Courtès]

branch: master
commit 02cacf5f6c0e173d1a27e496f7595fb8be44cefa
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Fri Sep 29 21:41:27 2023 +0200

    remote: Remove unused ‘zmq-poll*’.
    
    * src/cuirass/remote.scm (zmq-poll*): Remove.
---
 src/cuirass/remote.scm | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/cuirass/remote.scm b/src/cuirass/remote.scm
index 0f89d98..7204479 100644
--- a/src/cuirass/remote.scm
+++ b/src/cuirass/remote.scm
@@ -73,8 +73,6 @@
             receive-logs
             send-log
 
-            zmq-poll*
-
             build-request-message
             no-build-message
             build-started-message
@@ -388,10 +386,6 @@ retries a call to PROC."
 
   safe)
 
-(define zmq-poll*
-  ;; Return a variant of ZMQ-POLL that catches EINTR errors.
-  (EINTR-safe zmq-poll))
-
 (define zmq-message-receive*
   (EINTR-safe zmq-message-receive))