From 4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b Mon Sep 17 00:00:00 2001
From: manuel <manuel@mausz.at>
Date: Tue, 27 Mar 2012 11:51:08 +0200
Subject: reorganize file structure to match the upstream requirements

---
 pintos-progos/lib/user/debug.c | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 pintos-progos/lib/user/debug.c

(limited to 'pintos-progos/lib/user/debug.c')

diff --git a/pintos-progos/lib/user/debug.c b/pintos-progos/lib/user/debug.c
deleted file mode 100644
index f49b874..0000000
--- a/pintos-progos/lib/user/debug.c
+++ /dev/null
@@ -1,25 +0,0 @@
-#include <debug.h>
-#include <stdarg.h>
-#include <stdbool.h>
-#include <stdio.h>
-#include <syscall.h>
-
-/* Aborts the user program, printing the source file name, line
-   number, and function name, plus a user-specific message. */
-void
-debug_panic (const char *file, int line, const char *function,
-             const char *message, ...)
-{
-  va_list args;
-
-  printf ("User process ABORT at %s:%d in %s(): ", file, line, function);
-
-  va_start (args, message);
-  vprintf (message, args);
-  printf ("\n");
-  va_end (args);
-
-  debug_backtrace ();
-  
-  exit (1);
-}
-- 
cgit v1.2.3