diff options
Diffstat (limited to 'tools/os_support.h')
| -rw-r--r-- | tools/os_support.h | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/tools/os_support.h b/tools/os_support.h deleted file mode 100644 index 7dcbee4..0000000 --- a/tools/os_support.h +++ /dev/null @@ -1,35 +0,0 @@ -/* - * Copyright 2009 Extreme Engineering Solutions, Inc. - * - * This program is free software; you can redistribute it and/or - * modify it under the terms of the GNU Library General Public - * License as published by the Free Software Foundation; either - * version 2 of the License, or (at your option) any later version. - * - * This library is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU - * Library General Public License for more details. - * - * You should have received a copy of the GNU Library General Public - * License along with this software; if not, write to the - * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA - */ - -#ifndef __OS_SUPPORT_H_ -#define __OS_SUPPORT_H_ - -#include "compiler.h" - -/* - * Include additional files required for supporting different operating systems - */ -#ifdef __MINGW32__ -#include "mingw_support.h" -#endif - -#ifdef __APPLE__ -#include "getline.h" -#endif - -#endif /* __OS_SUPPORT_H_ */ |