From 4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b Mon Sep 17 00:00:00 2001 From: manuel Date: Tue, 27 Mar 2012 11:51:08 +0200 Subject: reorganize file structure to match the upstream requirements --- pintos-progos/filesys/off_t.h | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 pintos-progos/filesys/off_t.h (limited to 'pintos-progos/filesys/off_t.h') diff --git a/pintos-progos/filesys/off_t.h b/pintos-progos/filesys/off_t.h deleted file mode 100644 index 9caff4d..0000000 --- a/pintos-progos/filesys/off_t.h +++ /dev/null @@ -1,15 +0,0 @@ -#ifndef FILESYS_OFF_T_H -#define FILESYS_OFF_T_H - -#include - -/* An offset within a file. - This is a separate header because multiple headers want this - definition but not any others. */ -typedef int32_t off_t; - -/* Format specifier for printf(), e.g.: - printf ("offset=%"PROTd"\n", offset); */ -#define PROTd PRId32 - -#endif /* filesys/off_t.h */ -- cgit v1.2.3