X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=utilities%2Fvlogconf.c;h=46a121b2dc136815c5a9106031bac2ae4f2ebdee;hb=eb0341e7118a5a63e7a2696e3e59940668355cba;hp=b68c5357ed25be45fa95c5818e1100d882e51205;hpb=412c3875c2acc76be9c398f2e5dda88f4e60b054;p=openvswitch

diff --git a/utilities/vlogconf.c b/utilities/vlogconf.c
index b68c5357..46a121b2 100644
--- a/utilities/vlogconf.c
+++ b/utilities/vlogconf.c
@@ -170,7 +170,7 @@ int main(int argc, char *argv[])
             break;
         }
         if (!strchr("ath", option) && n_clients == 0) {
-            fatal(0, "no targets specified (use --help for help)");
+            ofp_fatal(0, "no targets specified (use --help for help)");
         } else {
             ++n_actions;
         }