Browse Source

tools: small fixes for help2man

Nathalie Furmento 4 years ago
parent
commit
dde7402add
2 changed files with 7 additions and 2 deletions
  1. 5 0
      tools/starpu_tasks_rec_complete.c
  2. 2 2
      tools/starpu_workers_activity.in

+ 5 - 0
tools/starpu_tasks_rec_complete.c

@@ -63,6 +63,11 @@ int main(int argc, char *argv[])
 			fprintf(stderr, "Report bugs to <%s>.\n", PACKAGE_BUGREPORT);
 			exit(EXIT_SUCCESS);
 		}
+		else if (strncmp(argv[1], "--version", 9) == 0 || strncmp(argv[1], "-v", 2) == 0)
+		{
+			fputs(PROGNAME " (" PACKAGE_NAME ") " PACKAGE_VERSION "\n", stderr);
+			exit(EXIT_FAILURE);
+		}
 	}
 
 #ifdef STARPU_HAVE_SETENV

+ 2 - 2
tools/starpu_workers_activity.in

@@ -24,13 +24,13 @@ usage()
     echo "  can be processed by this script to generate a plot named activity.eps"
     echo ""
     echo "  Typical usage:"
-    echo "     ./starpu_fxt_tool -i /tmp/prof_file_foo"
+    echo "     ./starpu_fxt_tool -i /tmp/prof_file_foo &&"
     echo "     $PROGNAME activity.data"
     echo ""
     echo "Options:"
     echo "	-h, --help          display this help and exit"
     echo "	-v, --version       output version information and exit"
-    echo "      -d directory        where to save output files, by default current directory"
+    echo "	-d directory        where to save output files, by default current directory"
     echo ""
     echo "Report bugs to <@PACKAGE_BUGREPORT@>"
     exit 0