Remove unused header

This commit is contained in:
Martin Hořeňovský 2019-11-28 11:23:53 +01:00
parent c9067b2253
commit 6923a168a1
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
2 changed files with 0 additions and 15 deletions

View File

@ -1,14 +0,0 @@
/*
* Created by Phil on 01/11/2010.
* Copyright 2010 Two Blue Cubes Ltd. All rights reserved.
*
* Distributed under the Boost Software License, Version 1.0. (See accompanying
* file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
*/
#ifndef TWOBLUECUBES_CATCH_WITH_MAIN_HPP_INCLUDED
#define TWOBLUECUBES_CATCH_WITH_MAIN_HPP_INCLUDED
#define CATCH_CONFIG_MAIN
#include "catch.hpp"
#endif // TWOBLUECUBES_CATCH_WITH_MAIN_HPP_INCLUDED

View File

@ -72,7 +72,6 @@ CheckFileList(SURROGATE_SOURCES ${SELF_TEST_DIR}/SurrogateCpps)
# Please keep these ordered alphabetically # Please keep these ordered alphabetically
set(TOP_LEVEL_HEADERS set(TOP_LEVEL_HEADERS
${HEADER_DIR}/catch.hpp ${HEADER_DIR}/catch.hpp
${HEADER_DIR}/catch_with_main.hpp
) )
CheckFileList(TOP_LEVEL_HEADERS ${HEADER_DIR}) CheckFileList(TOP_LEVEL_HEADERS ${HEADER_DIR})