xref: /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/Makefile-project-testing (revision 1d6c07a77e8ad98e08417dac573ff1cbd30fb30d) 
1# -*- mode: makefile -*-
2# The first line sets the emacs major mode to Makefile
3
4# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
5# SPDX-License-Identifier: Apache-2.0
6
7################################################################
8# Use this file to define project-specific targets and definitions for
9# unit testing or continuous integration that may depend on targets
10# defined in Makefile.common
11################################################################
12