diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-22 01:47:20 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-22 01:47:20 +0900 |
| commit | 7af2ab9dd8fcc0da90e0c309bcbe90cca82b6652 (patch) | |
| tree | 2b08bcadbf5e7b16aca945950ea84adc11f5f947 | |
| parent | d299dcb512f3bd2bf68b4e38475fdf8dd9067fcf (diff) | |
standard-52-card-deck: Add make command.
| -rwxr-xr-x | jobs/standard-52-card-deck.run | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/jobs/standard-52-card-deck.run b/jobs/standard-52-card-deck.run index 7f3486a..9402362 100755 --- a/jobs/standard-52-card-deck.run +++ b/jobs/standard-52-card-deck.run @@ -8,6 +8,8 @@ echo '---' git log -n 1 echo '---' echo + +make for path in $(find -type f -name '*.lisp'); do printf "%s\n " "${path#./}" laminarc run acl2-verify path="$(pwd)/$path" |