diff options
Diffstat (limited to 'FreeRTOS/Test/CBMC/proofs/MakefileLinux.json')
-rw-r--r-- | FreeRTOS/Test/CBMC/proofs/MakefileLinux.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/FreeRTOS/Test/CBMC/proofs/MakefileLinux.json b/FreeRTOS/Test/CBMC/proofs/MakefileLinux.json index 08442a2ab..a4e96aebe 100644 --- a/FreeRTOS/Test/CBMC/proofs/MakefileLinux.json +++ b/FreeRTOS/Test/CBMC/proofs/MakefileLinux.json @@ -10,7 +10,7 @@ "-o" ], "RULE_INPUT": [ - "$<" + "$^" ], "RULE_OUTPUT": [ "$@" |