X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=MODULES.html.sh;h=26c3fa97cf26a82bfdd4eacf8972c0f1e2a7e437;hb=e250cdd49b74828c25e98efa313954a395160180;hp=f929ecfbc1da67d1b2d7879293fc7d7639856cb0;hpb=63ce57e7e9fff1265da4e0a4d2639483c28b6b93;p=pspp

diff --git a/MODULES.html.sh b/MODULES.html.sh
index f929ecfbc1..26c3fa97cf 100755
--- a/MODULES.html.sh
+++ b/MODULES.html.sh
@@ -1626,6 +1626,7 @@ func_all_modules ()
   func_module atexit
   func_module strtod
   func_module strerror
+  func_module strerror-override
   func_module mktime
   func_end_table