From a2a524270ab7b35e7ce2be3191ae97270bff1727 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 30 Sep 2020 15:41:21 +0200
Subject: [PATCH] fixes typo in tests/spec/merge_bts938.c
---
tests/spec/merge_bts938.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/tests/spec/merge_bts938.c b/tests/spec/merge_bts938.c
index efd3962eb5d..c32ab1c04e7 100644
--- a/tests/spec/merge_bts938.c
+++ b/tests/spec/merge_bts938.c
@@ -1,8 +1,8 @@
/* run.config
- STDOPT: +"%{deps:merge_bts938_1.c}"
+ DEPS: @PTEST_NAME@.h
+ STDOPT: +"%{dep:@PTEST_NAME@_1.c}"
*/
#include "merge_bts938.h"
-
//@ ensures test:\true;
int main(void) { }
--
GitLab