diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2021-10-30 12:11:47 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2021-10-30 12:11:47 -0700 |
| commit | 1de8526e0c264974523c3c8043ee55965d507902 (patch) | |
| tree | 4a0b872ec529f19b41d41ebc404330f0994252ad | |
| parent | a69248b284be8a8cf8657455aa1b3b726aacb6d9 (diff) | |
| download | mu-1de8526e0c264974523c3c8043ee55965d507902.tar.gz | |
.
| -rwxr-xr-x | tools/update_signatures | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/update_signatures b/tools/update_signatures new file mode 100755 index 00000000..4142c835 --- /dev/null +++ b/tools/update_signatures @@ -0,0 +1 @@ +grep -h '^sig \|^fn ' [0-9]*.mu |grep -v 'fn test-' |sed 's/^fn /sig /' |sed 's/ {$//' > signatures.mu |