From 257695d21834178441e8e6bb8247f4a25abc0fb1 Mon Sep 17 00:00:00 2001 From: Angelo Nakos Date: Thu, 14 Jul 2022 09:23:38 -0400 Subject: [PATCH] Change SPDX identifier in CBMC proof Makefile from Apache-2.0 to MIT-0 --- test/cbmc/proofs/MQTT_ReceiveLoop/Makefile | 2 +- test/cbmc/proofs/Makefile-project-targets | 2 +- test/cbmc/proofs/Makefile-project-testing | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile b/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile index 6da93c491..3d5c9dcbe 100644 --- a/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile +++ b/test/cbmc/proofs/MQTT_ReceiveLoop/Makefile @@ -1,5 +1,5 @@ # Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. -# SPDX-License-Identifier: Apache-2.0 +# SPDX-License-Identifier: MIT-0 HARNESS_ENTRY=harness HARNESS_FILE=MQTT_ReceiveLoop_harness diff --git a/test/cbmc/proofs/Makefile-project-targets b/test/cbmc/proofs/Makefile-project-targets index 2d4d4602a..e2517ba36 100644 --- a/test/cbmc/proofs/Makefile-project-targets +++ b/test/cbmc/proofs/Makefile-project-targets @@ -2,7 +2,7 @@ # The first line sets the emacs major mode to Makefile # Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. -# SPDX-License-Identifier: Apache-2.0 +# SPDX-License-Identifier: MIT-0 ################################################################ # Use this file to give project-specific targets, including targets diff --git a/test/cbmc/proofs/Makefile-project-testing b/test/cbmc/proofs/Makefile-project-testing index dc0c20971..27e1d14ed 100644 --- a/test/cbmc/proofs/Makefile-project-testing +++ b/test/cbmc/proofs/Makefile-project-testing @@ -2,7 +2,7 @@ # The first line sets the emacs major mode to Makefile # Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. -# SPDX-License-Identifier: Apache-2.0 +# SPDX-License-Identifier: MIT-0 ################################################################ # Use this file to define project-specific targets and definitions for