diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-05-22 15:04:21 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-05-22 15:04:21 -0700 |
| commit | 2328f0570c8354602872cbabb12ac3991f983e7a (patch) | |
| tree | 621a0dce22896ab049195b6b71a8a5520ec5f251 | |
| parent | fdbc0f5de7663893f6fcfe9cbcccb52b9d093db1 (diff) | |
| download | sparse-dev-2328f0570c8354602872cbabb12ac3991f983e7a.tar.gz | |
Add shebang to gvpr scripts, make them executable, and change usage accordingly
Signed-off-by: Josh Triplett <josh@freedesktop.org>
| -rwxr-xr-x[-rw-r--r--] | gvpr/return-paths | 3 | ||||
| -rwxr-xr-x[-rw-r--r--] | gvpr/subg-fwd | 5 | ||||
| -rwxr-xr-x[-rw-r--r--] | gvpr/subg-rev | 3 |
3 files changed, 7 insertions, 4 deletions
diff --git a/gvpr/return-paths b/gvpr/return-paths index 18297fea..5815fc70 100644..100755 --- a/gvpr/return-paths +++ b/gvpr/return-paths @@ -1,7 +1,8 @@ +#!/usr/bin/gvpr -f // Split call sites into call site and return site nodes and add // return edges // -// Run with graph ... | gvpr -f return-paths +// Run with graph ... | return-paths BEGIN { // Find the immediate parent subgraph of this object diff --git a/gvpr/subg-fwd b/gvpr/subg-fwd index 8950fa5c..c4072130 100644..100755 --- a/gvpr/subg-fwd +++ b/gvpr/subg-fwd @@ -1,7 +1,8 @@ +#!/usr/bin/gvpr -f // Compute the forward partition of the chosen function // -// Run with graph ... | gvpr -f return-paths | gvpr -f subg-fwd -a functionname -// or graph ... | gvpr -f subg-fwd +// Run with graph ... | return-paths | subg-fwd -a functionname +// or graph ... | subg-fwd BEGIN { diff --git a/gvpr/subg-rev b/gvpr/subg-rev index add3b820..cd9bdddd 100644..100755 --- a/gvpr/subg-rev +++ b/gvpr/subg-rev @@ -1,6 +1,7 @@ +#!/usr/bin/gvpr -f // Compute the reverse partition of the chosen function // -// Run with graph ... | gvpr -f return-paths | gvpr -f subg-rev -a functionname +// Run with graph ... | return-paths | subg-rev -a functionname BEGIN { |