From: Gabriele Monaco <gmonaco@redhat.com>
To: linux-trace-kernel@vger.kernel.org, linux-kernel@vger.kernel.org,
Steven Rostedt <rostedt@goodmis.org>
Cc: Tomas Glozar <tglozar@redhat.com>, John Kacur <jkacur@redhat.com>,
Gabriele Monaco <gmonaco@redhat.com>
Subject: [PATCH 0/4] verification/dot2k: Improve template management
Date: Thu, 21 Nov 2024 15:59:53 +0100 [thread overview]
Message-ID: <20241121145957.145700-1-gmonaco@redhat.com> (raw)
This patchset implements a couple of options in the dot2k command and
makes the templates a little more robust.
The base is linux-next.
Gabriele Monaco (4):
verification/dot2k: Fix template directory if not installed
verification/dot2k: Unify main.c templates
verification/dot2k: More robust template variables
verification/dot2k: Add support for name and description options
tools/verification/dot2/automata.py | 4 +-
tools/verification/dot2/dot2c.py | 4 +-
tools/verification/dot2/dot2k | 6 +-
tools/verification/dot2/dot2k.py | 41 +++++----
.../dot2k_templates/{main_global.c => main.c} | 50 +++++-----
.../dot2/dot2k_templates/main_per_cpu.c | 91 -------------------
.../dot2/dot2k_templates/main_per_task.c | 91 -------------------
7 files changed, 54 insertions(+), 233 deletions(-)
rename tools/verification/dot2/dot2k_templates/{main_global.c => main.c} (50%)
delete mode 100644 tools/verification/dot2/dot2k_templates/main_per_cpu.c
delete mode 100644 tools/verification/dot2/dot2k_templates/main_per_task.c
base-commit: ac24e26aa08fe026804f678599f805eb13374a5d
--
2.47.0
next reply other threads:[~2024-11-21 15:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-11-21 14:59 Gabriele Monaco [this message]
2024-11-21 14:59 ` [PATCH 1/4] verification/dot2k: Fix template directory if not installed Gabriele Monaco
2024-11-21 14:59 ` [PATCH 2/4] verification/dot2k: Unify main.c templates Gabriele Monaco
2024-11-21 14:59 ` [PATCH 3/4] verification/dot2k: More robust template variables Gabriele Monaco
2024-11-21 14:59 ` [PATCH 4/4] verification/dot2k: Add support for name and description options Gabriele Monaco
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20241121145957.145700-1-gmonaco@redhat.com \
--to=gmonaco@redhat.com \
--cc=jkacur@redhat.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-trace-kernel@vger.kernel.org \
--cc=rostedt@goodmis.org \
--cc=tglozar@redhat.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®