X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=tests%2Flibrary.at;h=0765c3f3f55d99c31ba21de1193bbe8334f394b2;hb=refs%2Fheads%2Fmanual;hp=d199373c269c19d2896bf5480ddd096612120451;hpb=f696f12fbe84f49d650f48c45ce1a24b94547ad2;p=openvswitch diff --git a/tests/library.at b/tests/library.at index d199373c..0765c3f3 100644 --- a/tests/library.at +++ b/tests/library.at @@ -7,19 +7,22 @@ AT_CHECK([test-flows