2024-02-22 04:10:55 +00:00
|
|
|
#include <stdlib.h>
|
|
|
|
#include <stdio.h>
|
|
|
|
|
2024-02-25 15:58:08 +00:00
|
|
|
static const char *prg_name;
|
|
|
|
|
|
|
|
void
|
|
|
|
usage(void)
|
|
|
|
{
|
|
|
|
printf("Usage: %s [-hV] [-b bios]\n");
|
|
|
|
}
|
|
|
|
|
2024-02-22 04:10:55 +00:00
|
|
|
int
|
|
|
|
main(int argc, char **argv)
|
|
|
|
{
|
2024-02-25 15:58:08 +00:00
|
|
|
prg_name = argv[0];
|
|
|
|
|
2024-02-22 04:10:55 +00:00
|
|
|
return (EXIT_SUCCESS);
|
|
|
|
}
|