/*
   * Copyright 2008 Extreme Engineering Solutions, Inc.
   *

   * SPDX-License-Identifier:	GPL-2.0+

   */
  
  #ifndef	__TIMESTAMP_H__
  #define	__TIMESTAMP_H__
  
  #ifndef DO_DEPS_ONLY

  #include "generated/timestamp_autogenerated.h"

  #endif
  
  #endif	/* __TIMESTAMP_H__ */