From 5ff83bfca609277df6c47e546716ee3c6fb9735f Mon Sep 17 00:00:00 2001
From: Sylvain Henry <sylvain@haskus.fr>
Date: Tue, 28 May 2024 17:37:29 +0200
Subject: [PATCH] JS: remove useless h$CLOCK_REALTIME (#23202)

---
 rts/js/time.js | 2 --
 1 file changed, 2 deletions(-)

diff --git a/rts/js/time.js b/rts/js/time.js
index 0ea6be1f547..a8a35c11781 100644
--- a/rts/js/time.js
+++ b/rts/js/time.js
@@ -16,5 +16,3 @@ function h$clock_gettime(when, p_d, p_o) {
   }
   return 0;
 }
-
-function h$CLOCK_REALTIME() { return 0; }
-- 
GitLab