xref: /CoreMQTT-Agent-v1.1.0/test/cbmc/proofs/Makefile-project-targets (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 give project-specific targets, including targets
9# that may depend on targets defined in Makefile.common.
10################################################################
11