Improve cli help.

Signed-off-by: Fritz Stracke <[email protected]>
RWTH-ACS · May 11, 2023 · 060c70b · 060c70b
1 parent 2da2f97
commit 060c70b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gpu/src/main.c b/gpu/src/main.c
@@ -827,7 +827,7 @@ int cricket_checkpoint(int argc, char *argv[])
 #endif
 
     if (argc != 3) {
-        printf("wrong number of arguments, use: %s <pid>\n", argv[0]);
+        printf("wrong number of arguments, use: %s checkpoint <pid>\n", argv[0]);
         return -1;
     }