EIC code displayed by LXR |
|
|
|
|||
File indexing completed on 2025-04-02 07:57:04
0001 #!/bin/sh 0002 set -e 0003 0004 if [ $# -ne 1 ]; then 0005 echo "\033[31mERROR\033[0m"\ 0006 "wrong number of arguments" 0007 echo "\tusage: check_format <DIR>\n" 0008 exit 1 0009 fi 0010 0011 # Setup some variables 0012 USER_ID=`id -u` 0013 GROUP_ID=`id -g` 0014 0015 docker run --rm -ti \ 0016 -v $PWD:/work_dir:rw \ 0017 --user "${USER_ID}:${GROUP_ID}" \ 0018 -w "/work_dir" \ 0019 ghcr.io/acts-project/format14:v41 \ 0020 CI/check_format $1
| [ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
|
This page was automatically generated by the 2.3.7 LXR engine. The LXR team |
|