1 files changed, 0 insertions, 22 deletions

diff --git a/bin/stdump.c b/bin/stdump.c
deleted file mode 100644
index 30715dd..0000000
--- a/bin/stdump.c
+++ /dev/null
@@ -1,22 +0,0 @@
-#include <stdio.h>
-#include <stdlib.h>
-#include <string.h>
-
-
-#include "litmus.h"
-#include "sched_trace.h"
-
-
-
-int main(int argc, char** argv)
-{
-        record_callback_t cb;
-        int ret;
-        
-        init_record_callback(&cb);
-        
-        ret = walk_sched_trace_files_ordered(argv + 1, argc - 1, 0, &cb);
-        if (ret != 0)
-                perror("walk failed");
-        return 0;
-}