X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Flibrary.at;h=0e408f04f64b06ec9c7e364659786096ccfba748;hb=332b4e09868df70ddad6bb7fc843c69fac2235d5;hp=fa2c5f34525507dd3983f73c0f6c1b359dab11f5;hpb=7c126fbb8a0589f2a29f3e7c520723a2d74b254e;p=openvswitch

diff --git a/tests/library.at b/tests/library.at
index fa2c5f34..0e408f04 100644
--- a/tests/library.at
+++ b/tests/library.at
@@ -34,3 +34,7 @@ AT_CLEANUP
 AT_SETUP([test type properties])
 AT_CHECK([test-type-props], [0], [ignore])
 AT_CLEANUP
+
+AT_SETUP([test strtok_r bug fix])
+AT_CHECK([test-strtok_r], [0], [ignore])
+AT_CLEANUP