diff options
Diffstat (limited to 'cfg/jobs/acl2-theorems.run')
| -rwxr-xr-x | cfg/jobs/acl2-theorems.run | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/cfg/jobs/acl2-theorems.run b/cfg/jobs/acl2-theorems.run deleted file mode 100755 index 9df1723..0000000 --- a/cfg/jobs/acl2-theorems.run +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh - -for path in $(find -type f -name '*.lisp'); do - laminarc run acl2-verify path="$path" -done |