aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/backend/degenerate-ptr.c
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-11-19 17:43:45 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-11-20 11:25:51 +0100
commit9c188dcb35c031978b940db7ab1e4497589e160b (patch)
tree4e20660c7bf91c85c8b8e3a93c0d62b62e259cf9 /validation/backend/degenerate-ptr.c
parent25dbd228c11410218242e585c598697005c707ea (diff)
downloadsparse-dev-9c188dcb35c031978b940db7ab1e4497589e160b.tar.gz
testsuite: fix: remove unneeded './' before commands
Some testcases have their command specified as './<command name>' but the './' part is unneeded as all commands are first prefixed with '../' before being run. Furthermore, the presence of these './' inhibit simple filtering of the disabled commands. Fix this by stripping the './' where it was used. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/backend/degenerate-ptr.c')
-rw-r--r--validation/backend/degenerate-ptr.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/validation/backend/degenerate-ptr.c b/validation/backend/degenerate-ptr.c
index 8de979e0..052eefd9 100644
--- a/validation/backend/degenerate-ptr.c
+++ b/validation/backend/degenerate-ptr.c
@@ -68,5 +68,5 @@ void global(void)
/*
* check-name: degenerated pointer handling
- * check-command: ./sparsec -c $file -o tmp.o
+ * check-command: sparsec -c $file -o tmp.o
*/