ms-queue: more cleanup

[model-checker-benchmarks.git] / ms-queue / args.c

diff --git a/ms-queue/args.c b/ms-queue/args.c
deleted file mode 100644 (file)
index 6fe19de..0000000
--- a/ms-queue/args.c
+++ /dev/null
@@ -1,18 +0,0 @@
-#include "main.h"
-
-extern unsigned iterations;
-extern unsigned procs;
-
-void parse_args(int argc, char **argv)
-{
-       extern char *optarg;
-       int c;
-
-       while ((c = getopt(argc, argv, "i:p:")) != EOF)
-               switch(c) {
-                       case 'i':  iterations = atoi(optarg); break;
-                       case 'p':   procs = atoi(optarg);   break;
-                       default:
-                                   assert(0);
-               }
-}