diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 15:03:28 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 15:03:28 +0000 |
commit | adc981f648a5f513b7501715e86dcb1ec7b4f986 (patch) | |
tree | 1459fb5775c10ec61233f32e916cbbf8c7f1b91a /scripts | |
parent | 314592d5593faa02a0330451a22fd9b8cc251b8d (diff) | |
download | vericert-adc981f648a5f513b7501715e86dcb1ec7b4f986.tar.gz vericert-adc981f648a5f513b7501715e86dcb1ec7b4f986.zip |
Rename into scheme
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/synthesis-results.scm (renamed from scripts/synthesise) | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/synthesise b/scripts/synthesis-results.scm index 4e8dbec..faf8919 100755 --- a/scripts/synthesise +++ b/scripts/synthesis-results.scm @@ -1,4 +1,4 @@ -#! /usr/bin/chicken-csi -ss +#! /usr/bin/chicken-csi -s ;; -*- mode: scheme -*- (import (chicken port) @@ -118,3 +118,5 @@ (lambda () (display (csv:fmt-table-string (if (member "header" suppress) body (cons header body))))))))) + +(main (command-line-arguments)) |