/*
 * FIXME: this is temporary hack. All config must be stored in config.h
 */
#ifndef	ARCH_PLATFORM_H
#define	ARCH_PLATFORM_H

#ifdef	__WIN32__
#include "win32/platform.h"
#else
#include "generic/platform.h"
#endif

#endif	/* !ARCH_PLATFORM_H */
