X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=utilities%2Fofp-kill.c;h=4518ad7d9d7716abbe4c444f69b582e43c9020a1;hb=eb0341e7118a5a63e7a2696e3e59940668355cba;hp=b04a43a99c49e7da2d7c930b76c87ac93e5ff7c0;hpb=412c3875c2acc76be9c398f2e5dda88f4e60b054;p=openvswitch

diff --git a/utilities/ofp-kill.c b/utilities/ofp-kill.c
index b04a43a9..4518ad7d 100644
--- a/utilities/ofp-kill.c
+++ b/utilities/ofp-kill.c
@@ -70,8 +70,8 @@ main(int argc, char *argv[])
     argv += optind;
     if (argc < 1) {
         if (!force) {
-            fatal(0, "need at least one non-option argument; "
-                  "use --help for usage");
+            ofp_fatal(0, "need at least one non-option argument; "
+                      "use --help for usage");
         }
     }
 
@@ -202,7 +202,7 @@ parse_options(int argc, char *argv[])
                         goto got_name;
                     }
                 }
-                fatal(0, "unknown signal \"%s\"", optarg);
+                ofp_fatal(0, "unknown signal \"%s\"", optarg);
             got_name: ;
             }
             break;